Module Mdr_params.Output

module Output: Parameter_sig.Filepath 

Value of -mdr-out.


include Parameter_sig.S
val is_empty : unit -> bool

Whether the Filepath is empty.