sig
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
end