Module Parameters.Journal


module Journal: sig .. end
Parameters for journalization.

module Enable: Plugin.BOOL 
Behavior of option "-journal-enable"
module Name: Plugin.STRING 
Behavior of option "-journal-name"