Lines Matching defs:instance
455 (* Makes a type for an instance of an identifier. *)
458 instance of the type containing the overload set. *)
548 expType := instanceType; (* Record the instance type.*)
555 construct an instance of it. The converters are
560 val instance =
563 expType := instance; (* Record the instance type.*)
564 instance
591 expType := cType; (* Record the instance type.*)
613 expType := resultType; (* Record the instance type.*)
733 (* Include this type in the list of instance types. *)
741 instanceType (* Result is the instance type. *)
747 construct an instance of it. The converters are
750 val instance =
753 expType := instance;
754 instance
2176 to an instance in the functor application because the instanceTypes value is
2183 else tyVars (* Return the type vars instantiated to the instance types. *)
2185 (* This returns a list, one entry for each instance, of a list of the
2186 type variables for that instance. *)
2189 of all the instance types that are possible. *)
2197 If we have we use the same ref for each var and merge the instance types. *)
2209 the shared list of instance types. *)
2243 instance types within the bodies. *)