sig
  module type Input = sig val option_name : string val help : string end
  module type Input_with_arg =
    sig val option_name : string val help : string val arg_name : string end
  module type S_no_parameter =
    sig
      type t
      val set : Parameter_sig.S_no_parameter.t -> unit
      val add_set_hook :
        (Parameter_sig.S_no_parameter.t ->
         Parameter_sig.S_no_parameter.t -> unit) ->
        unit
      val add_update_hook :
        (Parameter_sig.S_no_parameter.t ->
         Parameter_sig.S_no_parameter.t -> unit) ->
        unit
      val get : unit -> Parameter_sig.S_no_parameter.t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal :
        Parameter_sig.S_no_parameter.t ->
        Parameter_sig.S_no_parameter.t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : Parameter_sig.S_no_parameter.t -> unit
    end
  module type S =
    sig
      type t
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
    end
  module type Bool =
    sig
      type t = bool
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val on : unit -> unit
      val off : unit -> unit
    end
  module type With_output =
    sig
      type t = bool
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val on : unit -> unit
      val off : unit -> unit
      val set_output_dependencies : State.t list -> unit
      val output : (unit -> unit) -> unit
    end
  module type Int =
    sig
      type t = int
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val incr : unit -> unit
      val set_range : min:int -> max:int -> unit
      val get_range : unit -> int * int
    end
  module type String =
    sig
      type t = string
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val set_possible_values : string list -> unit
      val get_possible_values : unit -> string list
    end
  module type String_collection =
    sig
      type t
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val add : string -> unit
      val remove : string -> unit
      val is_empty : unit -> bool
      val get_set : ?sep:string -> unit -> string
      val iter : (string -> unit) -> unit
      val fold : (string -> '-> 'a) -> '-> 'a
      val exists : (string -> bool) -> bool
      val set_possible_values : string list -> unit
      val get_possible_values : unit -> string list
    end
  module type String_set =
    sig
      type t = Datatype.String.Set.t
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val add : string -> unit
      val remove : string -> unit
      val is_empty : unit -> bool
      val get_set : ?sep:string -> unit -> string
      val iter : (string -> unit) -> unit
      val fold : (string -> '-> 'a) -> '-> 'a
      val exists : (string -> bool) -> bool
      val set_possible_values : string list -> unit
      val get_possible_values : unit -> string list
    end
  module type String_list =
    sig
      type t = string list
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val add : string -> unit
      val remove : string -> unit
      val is_empty : unit -> bool
      val get_set : ?sep:string -> unit -> string
      val iter : (string -> unit) -> unit
      val fold : (string -> '-> 'a) -> '-> 'a
      val exists : (string -> bool) -> bool
      val set_possible_values : string list -> unit
      val get_possible_values : unit -> string list
      val append_before : string list -> unit
      val append_after : string list -> unit
    end
  module type String_hashtbl =
    sig
      type t = Datatype.String.Set.t
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val add : string -> unit
      val remove : string -> unit
      val is_empty : unit -> bool
      val get_set : ?sep:string -> unit -> string
      val iter : (string -> unit) -> unit
      val fold : (string -> '-> 'a) -> '-> 'a
      val exists : (string -> bool) -> bool
      val set_possible_values : string list -> unit
      val get_possible_values : unit -> string list
      type value
      val find : string -> Parameter_sig.String_hashtbl.value
    end
  module type Indexed_val =
    sig
      type t = string
      val set : t -> unit
      val add_set_hook : (t -> t -> unit) -> unit
      val add_update_hook : (t -> t -> unit) -> unit
      val get : unit -> t
      val clear : unit -> unit
      val is_default : unit -> bool
      val option_name : string
      val print_help : Format.formatter -> unit
      val self : State.t
      val name : string
      val mark_as_computed : ?project:Project.t -> unit -> unit
      val is_computed : ?project:Project.t -> unit -> bool
      module Datatype : Datatype.S
      val add_hook_on_update : (Datatype.t -> unit) -> unit
      val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
      val equal : t -> t -> bool
      val add_aliases : string list -> unit
      val is_set : unit -> bool
      val unsafe_set : t -> unit
      val parameter : Typed_parameter.t
      val set_possible_values : string list -> unit
      val get_possible_values : unit -> string list
      type value
      val add_choice : string -> Parameter_sig.Indexed_val.value -> unit
      val get_val : unit -> Parameter_sig.Indexed_val.value
    end
  module type Indexed_val_input =
    sig
      val option_name : string
      val help : string
      val arg_name : string
      type t
      val default_val : Parameter_sig.Indexed_val_input.t
      val default_key : string
      val ty : Parameter_sig.Indexed_val_input.t Type.t
    end
  module type Specific_dir =
    sig
      exception No_dir
      val force_dir : bool
      val dir : ?error:bool -> unit -> string
      val file : ?error:bool -> string -> string
      module Dir_name : String
    end
  module type Builder =
    sig
      module Bool :
        functor
          (X : sig
                 val option_name : string
                 val help : string
                 val default : bool
               end->
          Bool
      module Action : functor (X : Input-> Bool
      module False : functor (X : Input-> Bool
      module True : functor (X : Input-> Bool
      module WithOutput :
        functor
          (X : sig
                 val option_name : string
                 val help : string
                 val output_by_default : bool
               end->
          With_output
      module Int :
        functor
          (X : sig
                 val option_name : string
                 val help : string
                 val arg_name : string
                 val default : int
               end->
          Int
      module Zero : functor (X : Input_with_arg-> Int
      module String :
        functor
          (X : sig
                 val option_name : string
                 val help : string
                 val arg_name : string
                 val default : string
               end->
          String
      module EmptyString : functor (X : Input_with_arg-> String
      module StringSet : functor (X : Input_with_arg-> String_set
      module FilledStringSet :
        functor
          (X : sig
                 val option_name : string
                 val help : string
                 val arg_name : string
                 val default : Datatype.String.Set.t
               end->
          String_set
      module StringList : functor (X : Input_with_arg-> String_list
      module IndexedVal :
        functor (V : Indexed_val_input->
          sig
            type t = string
            val set : t -> unit
            val add_set_hook : (t -> t -> unit) -> unit
            val add_update_hook : (t -> t -> unit) -> unit
            val get : unit -> t
            val clear : unit -> unit
            val is_default : unit -> bool
            val option_name : string
            val print_help : Format.formatter -> unit
            val self : State.t
            val name : string
            val mark_as_computed : ?project:Project.t -> unit -> unit
            val is_computed : ?project:Project.t -> unit -> bool
            module Datatype : Datatype.S
            val add_hook_on_update : (Datatype.t -> unit) -> unit
            val howto_marshal :
              (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
            val equal : t -> t -> bool
            val add_aliases : string list -> unit
            val is_set : unit -> bool
            val unsafe_set : t -> unit
            val parameter : Typed_parameter.t
            val set_possible_values : string list -> unit
            val get_possible_values : unit -> string list
            type value = V.t
            val add_choice : string -> value -> unit
            val get_val : unit -> value
          end
      module StringHashtbl :
        functor (X : Input_with_arg->
          functor
            (V : sig
                   type t
                   val ty : t Type.t
                   val name : string
                   val descr : t Descr.t
                   val packed_descr : Structural_descr.pack
                   val reprs : t list
                   val equal : t -> t -> bool
                   val compare : t -> t -> int
                   val hash : t -> int
                   val pretty_code : Format.formatter -> t -> unit
                   val internal_pretty_code :
                     Type.precedence -> Format.formatter -> t -> unit
                   val pretty : Format.formatter -> t -> unit
                   val varname : t -> string
                   val mem_project :
                     (Project_skeleton.t -> bool) -> t -> bool
                   val copy : t -> t
                   val parse : string -> string * t
                   val redefine_binding : string -> old:t -> t -> t
                   val no_binding : string -> t
                 end->
            sig
              type t = Datatype.String.Set.t
              val set : t -> unit
              val add_set_hook : (t -> t -> unit) -> unit
              val add_update_hook : (t -> t -> unit) -> unit
              val get : unit -> t
              val clear : unit -> unit
              val is_default : unit -> bool
              val option_name : string
              val print_help : Format.formatter -> unit
              val self : State.t
              val name : string
              val mark_as_computed : ?project:Project.t -> unit -> unit
              val is_computed : ?project:Project.t -> unit -> bool
              module Datatype : Datatype.S
              val add_hook_on_update : (Datatype.t -> unit) -> unit
              val howto_marshal :
                (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit
              val equal : t -> t -> bool
              val add_aliases : string list -> unit
              val is_set : unit -> bool
              val unsafe_set : t -> unit
              val parameter : Typed_parameter.t
              val add : string -> unit
              val remove : string -> unit
              val is_empty : unit -> bool
              val get_set : ?sep:string -> unit -> string
              val iter : (string -> unit) -> unit
              val fold : (string -> '-> 'a) -> '-> 'a
              val exists : (string -> bool) -> bool
              val set_possible_values : string list -> unit
              val get_possible_values : unit -> string list
              type value = V.t
              val find : string -> value
            end
      val parameters : unit -> Typed_parameter.t list
    end
end