Source

ocamlspot / tests / issue15_2.ml

1
2
3
module F(X: sig end) = struct
  type t = (* T => *) T (* <= T *)
end