module OASISHostPath:Manipulate host filenamessig
..end
val make : OASISTypes.host_filename list -> OASISTypes.host_filename
val of_unix : OASISTypes.unix_filename -> OASISTypes.host_filename
val compare : OASISTypes.host_filename -> OASISTypes.host_filename -> int
val add_extension : OASISTypes.host_filename -> string -> OASISTypes.host_filename
OASISUnixPath.add_extension
.
Not exported