signature S = sig type t end functor H(X:S) (Y:sig val f : X.t end) = struct end functor G = H(struct type t = int end)
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: functor H(X:S) (Y:sig val f : X.t end) = struct end functor G = H(struct type t = int end)