package binsec
Module Options.Builder
A very generic functor that lets you handle cases that are not provided otherwise. Use it only as last resort.
An options that defaults to true. The provided command-line switch automatically add a no- prefix to your option name.
module Integer_set (P : CLI_DECL) : INTEGER_SETmodule Integer_list (P : CLI_DECL) : INTEGER_LISTmodule Integer_option (P : CLI_DECL) : INTEGER_OPTmodule Float_list (P : CLI_DECL) : FLOAT_LISTmodule Float_option (P : CLI_DECL) : FLOAT_OPTmodule String_choice (P : sig ... end) : STRINGmodule String_option (P : CLI_DECL) : STRING_OPTmodule String_set (P : CLI_DECL) : STRING_SETmodule String_list (P : CLI_DECL) : STRING_LISTmodule Variant_choice (P : sig ... end) : GENERIC with type t = P.tmodule Variant_choice_assoc (P : sig ... end) : GENERIC with type t = P.tLike Variant_choice but with automatically generated to_string and of_string function from assoc_map.
module Variant_list (P : sig ... end) : CHECKABLE with type t = P.t list