Module_type_of(3)

Name
Module_type_of

Synopsis

Module Module_type_of

Documentation

module type S = sig
module type T = sig
type t
end

module M : sig
type t
end

module N : sig
type t = M.t
end
end

module X : sig ... end

module T : S with module M = X