package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type v
val empty : t
val is_empty : t -> bool
val is_empty_between : Z.t -> Z.t -> t -> bool
val singleton : Z.t -> v -> t
val store : Z.t -> v -> t -> t
val select : (Z.t -> int -> v) -> Z.t -> int -> t -> v
val iter : (Z.t -> v -> unit) -> t -> unit
val rev_iter : (Z.t -> v -> unit) -> t -> unit
val fold : (Z.t -> v -> 'a -> 'a) -> 'a -> t -> 'a
val rev_fold : (Z.t -> v -> 'a -> 'a) -> 'a -> t -> 'a
val map : (Z.t -> v -> v) -> t -> t
val merge : (Z.t -> v option -> v option -> v option) -> t -> t -> t
val choose : t -> Z.t * v
val bindings : t -> (Z.t * v) list