setr

Abstract domain library for sets
IN THIS PACKAGE
type t =
| Bool of bool
| String of string
| Int of int
| Symbolic of (module SETr_Symbolic_Interface.S)
| 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