Up – Package index » binsec » Library libterm » Libterm » Sexpr » Store

Module `Sexpr.Store`Source

type t

Sourceval iter : (Z.t -> Expr.t -> unit) -> t -> unit

Sourceval fold : (Z.t -> Expr.t -> 'a -> 'a) -> 'a -> t -> 'a