Module Fragment.Resolved
module Signature : sig ... endmodule Module : sig ... endmodule Type : sig ... endExplicit coercions
val identifier : Identifier.Signature.t -> t -> Identifier.tval signature_of_t : t -> Signature.tval module_of_t : t -> Module.tval type_of_t : t -> Type.t