Module SlicingParameters


module SlicingParameters: sig .. end

Slicing options

Slicing


include struct ... end
module Select: sig .. end
module Mode: sig .. end
module Print: False(sig
val option_name : string
val descr : string
end)
module OptionModified: Computation.Ref(sig
include Datatype.Bool
val default : unit -> bool
end)(sig
val name : string
val dependencies : 'a list
end)
module Force: True(sig
val option_name : string
val descr : string
end)
val is_on : unit -> bool
val set_off : unit -> unit