package setr

  1. Overview
  2. Docs
type t =
  1. | Bool of bool
  2. | String of string
  3. | Int of int
  4. | Symbolic of (module SETr_Symbolic_Interface.S)
  5. | SymSing of (module SETr_SymSing_Interface.S)
exception Build_error of string
val build_domain : string -> t list -> t
val help_string : string
val get_help : unit -> 'a
OCaml

Innovation. Community. Security.