package oasis

  1. Overview
  2. Docs
package oasis
Legend:
Library
Module
Module type
Parameter
Class
Class type

Manipulate host filenames

  • author Sylvain Le Gall

Create a filename out of its components.

Convert a unix filename into host filename.

Convert a host filename into a unix filename. Not exported

Compare host filename. Not exported

val add_extension : OASISTypes.host_filename -> string -> OASISTypes.host_filename

See OASISUnixPath.add_extension. Not exported

Map for host filename. Not exported.