Note:

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

sig   val to_filename : OASISTypes.unix_filename -> OASISContext.source_filename   val replace : ctxt:OASISContext.t -> OASISTypes.unix_filename list -> unit end