Module BaseFilePath


module BaseFilePath: sig .. end
Manipulate host filenames
Author(s): Sylvain Le Gall

module Unix: sig .. end
See OASISUnixPath.
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.