package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
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