1. camlspotter
  2. ocamlspot

Source

ocamlspot / tests / module_type.ml

The branch 'working2' does not exist.
module type (* SX => *) SX (* <= SX *) = sig
  type (* SX.t => *) t (* <= SX.t *) = int 
end

module type S = sig
  module X : SX (* ? SX *)

  type t = X.t (* ? SX.t *)
end