Source

ocamlspot / tests / fstclassmodule.ml

The branch 'dev' does not exist.
module type (* S => *) S (* <= S *) = sig
  type t
  val x : t list
end


module (* M => *)M(* <= M *) : S (* ? S *) with type t = int = struct
  type t = int
  let x = [1]
end


let (* m => *) m (* <= m *) = (module M (* ? M *) : S (* ? S *) with type t = int)
module M' = (val m (* ? m *) : S (* ? S *) with type t = int)