Hpath
type t
val empty : t
val cwd : t
val of_string : ?base:string -> string -> t
val to_string : t -> string
val to_uri : t -> string option * string
module Names : sig ... end
Frama-C