Source

ocamlspot / tests / class2.mli

Full commit
module (* M0 => *) M0 (* <= M0 *) : sig
  class (* M0.c => *) c (* <= M0.c *): object end 
end

module Test : sig
  val v : M0.c (* ? M0.c *)
  class type (* ct => *) ct (* <= ct *)= M0.c 
  class type ct' = M0.c (* ? M0.c *) 
  val z : ct (* ? ct *)
end