module SlicingParameters:sig
..end
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.Boolval 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