OASISHostPathManipulate host filenames
val make : OASISTypes.host_filename list -> OASISTypes.host_filenameCreate a filename out of its components.
val of_unix : OASISTypes.unix_filename -> OASISTypes.host_filenameConvert a unix filename into host filename.
val to_unix : OASISTypes.host_filename -> OASISTypes.unix_filenameConvert a host filename into a unix filename. Not exported
val compare : OASISTypes.host_filename -> OASISTypes.host_filename -> intCompare host filename. Not exported
val add_extension :
OASISTypes.host_filename ->
string ->
OASISTypes.host_filenameSee OASISUnixPath.add_extension. Not exported
module Map : OASISUtils.MapExt.S with type key = OASISTypes.host_filenameMap for host filename. Not exported.