Module OASISHostPath

module OASISHostPath: sig .. end

Manipulate host filenames
Author(s): Sylvain Le Gall

val make : OASISTypes.host_filename list -> OASISTypes.host_filename

Create a filename out of its components.

val of_unix : OASISTypes.unix_filename -> OASISTypes.host_filename

Convert a unix filename into host filename.

val compare : OASISTypes.host_filename -> OASISTypes.host_filename -> int

Compare host filename. Not exported

val add_extension : OASISTypes.host_filename -> string -> OASISTypes.host_filename

See OASISUnixPath.add_extension. Not exported