binsec.smt
Builder.Variant_choice
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.domains
binsec.parser
binsec.ppc64decoder
binsec.sse
binsec.sse_register
checkct
libformula
libterm
shadow_stack
Functor to map a string choice --- i.e., just one out of a set of possible value --- into a variant type.
module P : sig ... end
type t = P.t
val set : t -> unit
val get : unit -> t
val is_set : unit -> bool
val is_default : unit -> bool