Source

ocamlspot / tests / siginclude2.mli

Full commit
1
2
3
4
5
6
7
8
9
module M : sig
  module type MT = sig type (* t => *) t (* <= t *) end
  include MT
  type s0 = t (* ? t *)
end

module N : sig
  type s = M.t (* ? t *)
end