module Filepath:functor (
X
:
sig
include Parameter_sig.Input_with_arg
val existence :Parameter_sig.existence
end
) ->
Parameter_sig.Filepath
Parameters: |
|
exception No_file
set
if no file exists and existence
is Must_exist
.exception File_exists
set
if some file exists and existence
is
Must_nos_exist
.val existence : Parameter_sig.existence
include Parameter_sig.S