sig
type t
val compare : Path.t -> Path.t -> int
val pp : Format.formatter -> Path.t -> unit
val from_id : Ident.t -> Path.t
val mk_path : Name.t list -> Name.t -> Path.t
val mk_path_list : Name.t list -> Path.t
val get_module_path : Path.t -> Path.t option
val natpath : Path.t
val listpath : Path.t
val vectorpath : Path.t
val boolpath : Path.t
val bitpath : Path.t
val setpath : Path.t
val stringpath : Path.t
val unitpath : Path.t
val charpath : Path.t
val numeralpath : Path.t
val get_name : Path.t -> Name.t
val get_toplevel_name : Path.t -> Name.t
val check_prefix : Name.t -> Path.t -> bool
val to_ident : Ast.lex_skips -> Path.t -> Ident.t
val to_name : Path.t -> Name.t
val to_name_list : Path.t -> Name.t list * Name.t
val to_string : Path.t -> string
end