libterm
Sexpr.Store
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
include Binsec.Lmap.S with type v := Chunk.t
type t
val empty : t
val is_empty : t -> bool
val is_empty_between : Z.t -> Z.t -> t -> bool
val iter : (Z.t -> Chunk.t -> unit) -> t -> unit
val rev_iter : (Z.t -> Chunk.t -> unit) -> t -> unit
val fold : (Z.t -> Chunk.t -> 'a -> 'a) -> 'a -> t -> 'a
val rev_fold : (Z.t -> Chunk.t -> 'a -> 'a) -> 'a -> t -> 'a
val map : (Z.t -> Chunk.t -> Chunk.t) -> t -> t
val merge : (Z.t -> Chunk.t option -> Chunk.t option -> Chunk.t option) -> t -> t -> t
val choose : t -> Z.t * Chunk.t
val bindings : t -> (Z.t * Chunk.t) list
val singleton : Bv.t -> Chunk.t -> t
val store : Bv.t -> Chunk.t -> t -> t
val select : (Z.t -> int -> Chunk.t) -> Bv.t -> int -> t -> Chunk.t
val iter_term : (Z.t -> Expr.t -> unit) -> t -> unit
val fold_term : (Z.t -> Expr.t -> 'a -> 'a) -> 'a -> t -> 'a