Module Fragment.Resolved

module Signature : sig ... end
module Module : sig ... end
module Type : sig ... end

Explicit coercions

val identifier : Identifier.Signature.t -> t -> Identifier.t
val signature_of_t : t -> Signature.t
val module_of_t : t -> Module.t
val type_of_t : t -> Type.t