Source

ocamlspot / tests / test16.ml

1
2
3
4
5
6
type u = Test15.w (* ? type w *)

module type T = sig
  type (* type T.t => *) t (* <= type T.t *) = Qoo 
  type v = t (* ? type T.t *)
end