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