-
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
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
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.