Module SlicingParameters


module SlicingParameters: sig .. end

Slicing options

Slicing


include struct ... end
module Select: sig .. end
module Mode: sig .. end
module ProjectName: String(sig
val option_name : string
val arg_name : string
val help : string
val default : string
val kind : [> `Tuning ]
end)
module ExportedProjectPostfix: String(sig
val option_name : string
val arg_name : string
val help : string
val default : string
val kind : [> `Tuning ]
end)
module Print: False(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
module OptionModified: State_builder.Ref(Datatype.Bool)(sig
val name : string
val dependencies : 'a list
val kind : [> `Internal ]
val default : unit -> bool
end)
module Force: True(sig
val option_name : string
val help : string
val kind : [> `Tuning ]
end)
val is_on : unit -> bool
val set_off : unit -> unit