Note:

You are viewing a development version of the library. Goto the latest version.

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