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 to_unix : OASISTypes.host_filename -> OASISTypes.unix_filename
Convert a host filename into a unix filename. Not exported
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
module Map: OASISUtils.MapExt.S  with type key = host_filename
Map for host filename.