public InferenceState Solve(FreshVariableStream fresh, IImmutableList <IContextEntry> prefix, IImmutableList <IContextEntry> suffix) { switch (this.Left, this.Right) {
private TypeInference(FreshVariableStream fresh, IImmutableList <IContextEntry> context) { this._state = new InferenceState(fresh, context); }
public InferenceState(FreshVariableStream fresh, IImmutableList <IContextEntry> context) { this.Fresh = fresh; this.Context = context; }
public InferenceState(FreshVariableStream fresh, params IContextEntry[] context) { this.Fresh = fresh; this.Context = context.ToImmutableList(); }
public FreshVariableStream MakeHull(FreshVariableStream fresh, out IType hull, out IImmutableList <(string name, IType replaced)> constraints)