module SaveState: Parameter_sig.Filepath
Parameter_sig.Filepath
Behavior of option "-save"
include Parameter_sig.S
val is_empty : unit -> bool
unit -> bool
Whether the Filepath is empty.