Module Kernel.LoadState

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

include Parameter_sig.S_no_parameter
val parameter : Typed_parameter.t
Since Nitrogen-20111001