equal
deleted
inserted
replaced
18 val infer_types: Pretty.pp -> Type.tsig -> (typ list -> typ list) -> |
18 val infer_types: Pretty.pp -> Type.tsig -> (typ list -> typ list) -> |
19 (string -> typ option) -> (indexname -> typ option) -> Name.context -> int -> |
19 (string -> typ option) -> (indexname -> typ option) -> Name.context -> int -> |
20 term list -> term list |
20 term list -> term list |
21 end; |
21 end; |
22 |
22 |
23 structure TypeInfer: TYPE_INFER = |
23 structure Type_Infer: TYPE_INFER = |
24 struct |
24 struct |
25 |
25 |
26 |
26 |
27 (** type parameters and constraints **) |
27 (** type parameters and constraints **) |
28 |
28 |