module Parameter_sig:sig
..end
One of these signatures is required to implement a new command line
option.
module type Input =sig
..end
module type Input_with_arg =sig
..end
Signatures corresponding to a command line option of a specific type.
module type S_no_parameter =sig
..end
parameter
.
module type S =sig
..end
module type Bool =sig
..end
module type With_output =sig
..end
module type Int =sig
..end
module type String =sig
..end
module type String_collection =sig
..end
module type String_set =String_collection
with type t = Datatype.String.Set.t
module type String_list =sig
..end
module type String_hashtbl =sig
..end
module type Indexed_val =sig
..end
module type Indexed_val_input =sig
..end
IndexedVal
module type Specific_dir =sig
..end
module type Builder =sig
..end