Hpath
type t
val empty : t
val cwd : t
val of_string : ?base:string -> string -> t
val to_string : t -> string
type base =
| Absolute
| Cwd
| Name of string * t
val to_uri : t -> base * string
module Names : sig ... end
Frama-C