Note:

You are viewing a development version of the library. Goto the latest version.

sig
  val to_filename : OASISTypes.unix_filename -> OASISTypes.host_filename
  val replace : OASISTypes.unix_filename list -> unit
end