package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module E : Value

Signature

type t
val empty : t
val is_empty : t -> bool
val is_empty_between : Z.t -> Z.t -> t -> bool
val singleton : Z.t -> E.t -> t
val store : Z.t -> E.t -> t -> t
val select : (Z.t -> int -> E.t) -> Z.t -> int -> t -> E.t
val iter : (Z.t -> E.t -> unit) -> t -> unit
val rev_iter : (Z.t -> E.t -> unit) -> t -> unit
val fold : (Z.t -> E.t -> 'a -> 'a) -> 'a -> t -> 'a
val rev_fold : (Z.t -> E.t -> 'a -> 'a) -> 'a -> t -> 'a
val map : (Z.t -> E.t -> E.t) -> t -> t
val merge : (Z.t -> E.t option -> E.t option -> E.t option) -> t -> t -> t
val choose : t -> Z.t * E.t
val bindings : t -> (Z.t * E.t) list
OCaml

Innovation. Community. Security.