sig
  module type S =
    sig
      type suff = [ `Endsuffix | `WithSuffix | `WithoutSuffix ]
      type ('a, +'b, 'c) params_type constraint 'b = [< suff ]
      type +'a param_name
      type no_param_name
      type 'a setoneradio = [ `One of 'a | `Radio of 'a | `Set of 'a ]
      type 'a oneradio = [ `One of 'a | `Radio of 'a ]
      type 'a setone = [ `One of 'a | `Set of 'a ]
      type ('a, 'b) binsum = Inj1 of 'a | Inj2 of 'b
      type 'an listnames = {
        it : 'el 'a. ('an -> 'el -> 'a -> 'a) -> 'el list -> 'a -> 'a;
      }
      type 'a to_and_of = {
        of_string : string -> 'a;
        to_string : 'a -> string;
      }
      val int :
        string ->
        (int, [ `WithoutSuffix ],
         [ `One of int ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val int32 :
        string ->
        (int32, [ `WithoutSuffix ],
         [ `One of int32 ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val int64 :
        string ->
        (int64, [ `WithoutSuffix ],
         [ `One of int64 ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val float :
        string ->
        (float, [ `WithoutSuffix ],
         [ `One of float ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val string :
        string ->
        (string, [ `WithoutSuffix ],
         [ `One of string ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val bool :
        string ->
        (bool, [ `WithoutSuffix ],
         [ `One of bool ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val file :
        string ->
        (Eliom_lib.file_info, [ `WithoutSuffix ],
         [ `One of Eliom_lib.file_info ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val unit :
        (unit, [ `WithoutSuffix ], unit) Eliom_parameter_sigs.S.params_type
      type coordinates = { abscissa : int; ordinate : int; }
      val coordinates :
        string ->
        (Eliom_parameter_sigs.S.coordinates, [ `WithoutSuffix ],
         [ `One of Eliom_parameter_sigs.S.coordinates ]
         Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val ( ** ) :
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('c, [< `Endsuffix | `WithoutSuffix ] as 'e, 'd)
        Eliom_parameter_sigs.S.params_type ->
        ('a * 'c, 'e, 'b * 'd) Eliom_parameter_sigs.S.params_type
      val prod :
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('c, [< `Endsuffix | `WithoutSuffix ] as 'e, 'd)
        Eliom_parameter_sigs.S.params_type ->
        ('a * 'c, 'e, 'b * 'd) Eliom_parameter_sigs.S.params_type
      val sum :
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('c, [ `WithoutSuffix ], 'd) Eliom_parameter_sigs.S.params_type ->
        (('a, 'c) Eliom_parameter_sigs.S.binsum, [ `WithoutSuffix ], 'b * 'd)
        Eliom_parameter_sigs.S.params_type
      val opt :
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('a option, [ `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.params_type
      val neopt :
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('a option, [ `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.params_type
      val radio :
        (string ->
         ('a, [ `WithoutSuffix ],
          [ `One of 'b ] Eliom_parameter_sigs.S.param_name)
         Eliom_parameter_sigs.S.params_type) ->
        string ->
        ('a option, [ `WithoutSuffix ],
         [ `Radio of 'b ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val any :
        ((string * string) list, [ `WithoutSuffix ], unit)
        Eliom_parameter_sigs.S.params_type
      val set :
        (string ->
         ('a, [ `WithoutSuffix ],
          [ `One of 'b ] Eliom_parameter_sigs.S.param_name)
         Eliom_parameter_sigs.S.params_type) ->
        string ->
        ('a list, [ `WithoutSuffix ],
         [ `Set of 'b ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val list :
        string ->
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('a list, [ `WithoutSuffix ], 'b Eliom_parameter_sigs.S.listnames)
        Eliom_parameter_sigs.S.params_type
      val suffix :
        ?redirect_if_not_suffix:bool ->
        ('s, [< `Endsuffix | `WithoutSuffix ], 'sn)
        Eliom_parameter_sigs.S.params_type ->
        ('s, [ `WithSuffix ], 'sn) Eliom_parameter_sigs.S.params_type
      val all_suffix :
        string ->
        (string list, [ `Endsuffix ],
         [ `One of string list ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val all_suffix_string :
        string ->
        (string, [ `Endsuffix ],
         [ `One of string ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      val suffix_prod :
        ?redirect_if_not_suffix:bool ->
        ('s, [< `Endsuffix | `WithoutSuffix ], 'sn)
        Eliom_parameter_sigs.S.params_type ->
        ('a, [ `WithoutSuffix ], 'an) Eliom_parameter_sigs.S.params_type ->
        ('s * 'a, [ `WithSuffix ], 'sn * 'an)
        Eliom_parameter_sigs.S.params_type
      val suffix_const :
        string ->
        (unit, [ `WithoutSuffix ],
         [ `One of unit ] Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      type 'a ocaml
      val ocaml :
        string ->
        'a Deriving_Json.t ->
        ('a, [ `WithoutSuffix ],
         [ `One of 'a Eliom_parameter_sigs.S.ocaml ]
         Eliom_parameter_sigs.S.param_name)
        Eliom_parameter_sigs.S.params_type
      type raw_post_data
      val raw_post_data :
        (Eliom_parameter_sigs.S.raw_post_data, [ `WithoutSuffix ],
         Eliom_parameter_sigs.S.no_param_name)
        Eliom_parameter_sigs.S.params_type
      type ('a, +'b, 'names) non_localized_params constraint 'b = [< suff ]
      val make_non_localized_parameters :
        prefix:string ->
        name:string ->
        ?persistent:bool ->
        ('a, [ `WithoutSuffix ], 'b) Eliom_parameter_sigs.S.params_type ->
        ('a, [ `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.non_localized_params
      type nl_params_set
      val empty_nl_params_set : Eliom_parameter_sigs.S.nl_params_set
      val add_nl_parameter :
        Eliom_parameter_sigs.S.nl_params_set ->
        ('a, [< `WithSuffix | `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.non_localized_params ->
        'a -> Eliom_parameter_sigs.S.nl_params_set
      val get_nl_params_names :
        ('b, [< `WithSuffix | `WithoutSuffix ], 'a)
        Eliom_parameter_sigs.S.non_localized_params -> 'a
      val get_to_and_of :
        ('a, [< suff ], 'c) Eliom_parameter_sigs.S.params_type ->
        'a Eliom_parameter_sigs.S.to_and_of
      val walk_parameter_tree :
        [ `One of string ] Eliom_parameter_sigs.S.param_name ->
        ('a, [< suff ], 'c) Eliom_parameter_sigs.S.params_type ->
        'a Eliom_parameter_sigs.S.to_and_of option
      val contains_suffix :
        ('a, [< suff ], 'c) Eliom_parameter_sigs.S.params_type -> bool option
      val add_pref_params :
        string ->
        ('a, [< Eliom_parameter_sigs.S.suff ] as 'b, 'c)
        Eliom_parameter_sigs.S.params_type ->
        ('a, 'b, 'c) Eliom_parameter_sigs.S.params_type
      type params = (string * Eliommod_parameters.param) list
      val construct_params :
        Eliom_parameter_sigs.S.params Eliom_lib.String.Table.t ->
        ('a, [< `WithSuffix | `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.params_type ->
        'a -> string list option * string
      val construct_params_string : Eliom_parameter_sigs.S.params -> string
      val construct_params_list_raw :
        Eliom_parameter_sigs.S.params Eliom_lib.String.Table.t ->
        ('a, [< `WithSuffix | `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.params_type ->
        'a ->
        string list option *
        Eliom_parameter_sigs.S.params Eliom_lib.String.Table.t *
        Eliom_parameter_sigs.S.params
      val construct_params_list :
        Eliom_parameter_sigs.S.params Eliom_lib.String.Table.t ->
        ('a, [< `WithSuffix | `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.params_type ->
        'a -> string list option * Eliom_parameter_sigs.S.params
      val reconstruct_params :
        sp:Eliom_common.server_params ->
        ('a, [< `WithSuffix | `WithoutSuffix ], 'c)
        Eliom_parameter_sigs.S.params_type ->
        (string * string) list Lwt.t option ->
        (string * Eliom_lib.file_info) list Lwt.t option ->
        bool -> Eliom_lib.Url.path option -> 'a Lwt.t
      val make_params_names :
        ('a, [< suff ], 'c) Eliom_parameter_sigs.S.params_type -> bool * 'c
      val string_of_param_name :
        'a Eliom_parameter_sigs.S.param_name -> string
      val nl_prod :
        ('a, [< Eliom_parameter_sigs.S.suff ] as 'b, 'an)
        Eliom_parameter_sigs.S.params_type ->
        ('s, [ `WithoutSuffix ], 'sn)
        Eliom_parameter_sigs.S.non_localized_params ->
        ('a * 's, 'b, 'an * 'sn) Eliom_parameter_sigs.S.params_type
      val remove_from_nlp :
        (string * 'c) list Eliom_lib.String.Table.t ->
        ('a, [< `WithSuffix | `WithoutSuffix ], 'b)
        Eliom_parameter_sigs.S.params_type ->
        (string * 'c) list Eliom_lib.String.Table.t
      val table_of_nl_params_set :
        Eliom_parameter_sigs.S.nl_params_set ->
        Eliom_parameter_sigs.S.params Eliom_lib.String.Table.t
      val list_of_nl_params_set :
        Eliom_parameter_sigs.S.nl_params_set -> Eliom_parameter_sigs.S.params
      val string_of_nl_params_set :
        Eliom_parameter_sigs.S.nl_params_set -> string
      val wrap_param_type :
        ('a, [< Eliom_parameter_sigs.S.suff ] as 'b, 'c)
        Eliom_parameter_sigs.S.params_type ->
        ('a, 'b, 'c) Eliom_parameter_sigs.S.params_type
      type _ is_unit =
          U_not : 'a Eliom_parameter_sigs.S.is_unit
        | U_yes : unit Eliom_parameter_sigs.S.is_unit
      val is_unit :
        ('a, [< suff ], 'b) Eliom_parameter_sigs.S.params_type ->
        'a Eliom_parameter_sigs.S.is_unit
      val anonymise_params_type :
        ('a, [< suff ], 'c) Eliom_parameter_sigs.S.params_type -> int
    end
  val section : Lwt_log_core.section
end