-
Andrei Paskevich authored
syntax: clone type t 'a 'b = my_t ('b, 'a) implicitly introduces a type alias for the RHS type and accepts unknown type alises in a substitution, provided every type in the ts_def is known.
b017cf60
syntax: clone type t 'a 'b = my_t ('b, 'a) implicitly introduces a type alias for the RHS type and accepts unknown type alises in a substitution, provided every type in the ts_def is known.