Module `Smt_options.Builder`

module Any
  (P : Binsec.Cli.DETAILED_CLI_DECL) : 
  Binsec.Cli.GENERIC with type t = P.t

A very generic functor that lets you handle cases that are not provided otherwise. Use it only as last resort.

module Any_opt (P : sig ... end) : Binsec.Cli.GENERIC_OPT with type t = P.t

module Boolean (P : sig ... end) : Binsec.Cli.BOOLEAN

module False (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.BOOLEAN

An option that defaults to false.

module No (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.BOOLEAN

An options that defaults to true. The provided command-line switch automatically add a no- prefix to your option name.

module Integer (P : sig ... end) : Binsec.Cli.INTEGER

module Zero (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER

module Integer_set (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER_SET

module Integer_list (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER_LIST

module Integer_option (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.INTEGER_OPT

module Float (P : sig ... end) : Binsec.Cli.FLOAT

module Float_set (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.FLOAT_SET

module Float_list (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.FLOAT_LIST

module Float_option (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.FLOAT_OPT

module String (P : sig ... end) : Binsec.Cli.STRING

module String_choice (P : sig ... end) : Binsec.Cli.STRING

module String_option (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.STRING_OPT

module String_set (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.STRING_SET

module String_list (P : Binsec.Cli.CLI_DECL) : Binsec.Cli.STRING_LIST

module Variant_choice (P : sig ... end) : Binsec.Cli.GENERIC with type t = P.t

module Variant_choice_assoc
  (P : sig ... end) : 
  Binsec.Cli.GENERIC with type t = P.t

Like Variant_choice but with automatically generated to_string and of_string function from assoc_map.

module Variant_list
  (P : sig ... end) : 
  Binsec.Cli.GENERIC with type t = P.t list

Install