libterm
Sexpr.Chunk
binsec
binsec.amd64decoder
binsec.armv7decoder
binsec.armv8decoder
binsec.domains
binsec.parser
binsec.ppc64decoder
binsec.smt
binsec.sparcv8decoder
binsec.sse
binsec.sse_register
checkct
libformula
libsolver
shadow_stack
type t
type hunk = (int, Stdlib.Bigarray.int8_unsigned_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t
type kind =
| Hunk of hunk
| Term of Expr.t
val inspect : t -> kind
val of_hunk : hunk -> t
val of_term : Expr.t -> t
val to_term : t -> Expr.t
val equal : t -> t -> bool
low level API
val is_hunk : t -> bool
val is_term : t -> bool
val unsafe_to_hunk : t -> hunk
val unsafe_to_term : t -> Expr.t