Lines Matching refs:same
815 same. The result is either of these two once they have been
881 (* We have to be careful because open A B is not the same as
885 we have the same name in multiple structures. *)
997 giving a new name to a type constructor we use the same type
1048 value constructors from the same structure. *)
1058 (* Create a new constructor with the same unique ID. *)
1275 (* The result is an exception with the same type. *)
1475 link it to any type variable with the same name in an outer
1625 link it to any type variable with the same name in an outer
1644 should declare the same function and have the same number of
1690 clauses. Each must have the same function name, the same
1807 they'll all be the same. *)
2159 the same type variable in both values. When we produce the least
2174 declaration followed by an application of the functor in the same "program"
2197 If we have we use the same ref for each var and merge the instance types. *)
2229 recursive declarations we need to handle these in the same way as