Module Kernel.SaveState

module SaveState: Parameter_sig.Filepath 

Behavior of option "-save"


include Parameter_sig.S_no_parameter
val parameter : Typed_parameter.t