package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Any (P : DETAILED_CLI_DECL) : 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 Boolean (P : sig ... end) : BOOLEAN
module False (P : CLI_DECL) : BOOLEAN

An option that defaults to false.

module True (P : CLI_DECL) : 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) : INTEGER
module Zero (P : CLI_DECL) : INTEGER
module Float (P : sig ... end) : FLOAT
module String (P : sig ... end) : STRING
module String_choice (P : sig ... end) : STRING
module Variant_choice (P : sig ... end) : GENERIC with type t = P.t
module Variant_choice_assoc (P : sig ... end) : 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) : CHECKABLE with type t = P.t list