module LoadState:Parameter_sig.Filepath
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