type kind = Kind.pathtype ('a, 'b) t = | Identifier : ('a, 'b) Identifier.t -> ('a, [< kind ] as 'b) t| Subst : 'a module_type * 'a module_ -> ('a, [< kind Module ]) t| SubstAlias : 'a module_ * 'a module_ -> ('a, [< kind Module ]) t| Hidden : 'a module_ -> ('a, [< kind Module ]) t| Module : 'a module_ * string -> ('a, [< kind Module ]) t| Canonical : 'a module_ * 'a Path.module_ -> ('a, [< kind Module ]) t| Apply : 'a module_ * 'a Path.module_ -> ('a, [< kind Module ]) t| ModuleType : 'a module_ * string -> ('a, [< kind ModuleType ]) t| Type : 'a module_ * string -> ('a, [< kind Type ]) t| Class : 'a module_ * string -> ('a, [< kind Class ]) t| ClassType : 'a module_ * string -> ('a, [< kind ClassType ]) tand 'a module_ = ('a, Kind.path_module) tand 'a module_type = ('a, Kind.path_module_type) tand 'a type_ = ('a, Kind.path_type) tand 'a class_type = ('a, Kind.path_class_type) tval sexp_of_t : ('a -> {sexp}1) -> ('a, _) t -> {sexp}1val ident_module : 'a Identifier.module_ -> ('a, [< kind Module ]) tval ident_module_type :
'a Identifier.module_type ->
('a, [< kind ModuleType ]) tval ident_type : 'a Identifier.type_ -> ('a, [< kind Type ]) tval ident_class : 'a Identifier.class_ -> ('a, [< kind Class ]) tval ident_class_type : 'a Identifier.class_type -> ('a, [< kind ClassType ]) tval identifier : ('a, 'b) t -> ('a, 'b) Identifier.tval hash : hash:('a -> int) -> ('a, 'b) t -> intval rebase : 'a Identifier.signature -> ('a, 'b) t -> ('a, 'b) tval equal_identifier :
equal:('a -> 'a -> bool) ->
('a, 'b) Identifier.t ->
('a, 'b) t ->
boolval is_hidden : ('a, 'b) t -> bool