Sexpr (p.binsec.0.8.2.doc.libterm.Libterm.Sexpr)

module Bv = Binsec.Bitvector

module BiMap = Binsec.Basic_types.BigInt.Map

module Expr : sig ... end

Sourcemodule Memory : sig ... end

Sourcemodule Store : sig ... end

Sourcemodule Chunk : sig ... end

module BvTbl : Stdlib.Hashtbl.S with type key = Expr.t

module AxTbl : Stdlib.Hashtbl.S with type key = Memory.t

Sourcemodule BiTbl : Stdlib.Hashtbl.S with type key = Z.t

Sourcemodule StTbl : Stdlib.Hashtbl.S with type key = string

Sourcemodule Model : sig ... end

Sourcemodule BvSet : Stdlib.Set.S with type elt := Expr.t

Sourcemodule BvMap : Stdlib.Map.S with type key := Expr.t

Sourceval bswap : Expr.t -> Expr.t