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 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 hash : hash:('a -> int) -> ('a, 'b) t -> intval identifier : ('a, 'b) t -> ('a, 'b) Identifier.tidentifier rp extracts the identifier present at the "root" of rp.
val is_hidden : ('a, 'b) t -> boolis_hidden rp is true when some prefix of rp (which is not under a Canonical) is the Hidden constructor.
Canonical are treated specialy because we expect them to rewrite a hidden path to a non-hidden one.
val rebase : 'a Identifier.signature -> ('a, 'b) t -> ('a, 'b) tval equal_identifier :
equal:('a -> 'a -> bool) ->
('a, 'b) Identifier.t ->
('a, 'b) t ->
bool