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
end)
module ExportedProjectPostfix: String(sig
val option_name : string
val arg_name : string
val help : string
val default : string
end)
module Print: sig .. end
module Force: True(sig
val option_name : string
val help : string
end)
module OptionModified: State_builder.Ref(Datatype.Bool)(sig
val name : string
val dependencies : 'a list
val default : unit -> bool
end)
val is_on : unit -> bool
val set_off : unit -> unit
val clear : unit -> unit