Module Kernel.LoadState

module LoadState: Parameter_sig.Filepath 
Behavior of option "-load"

exception No_file
raised by set if no file exists and existence is Must_exist.
exception File_exists
raised by set if some file exists and existence is Must_nos_exist.
val existence : Parameter_sig.existence
include Parameter_sig.S