Api_solver (p.binsec.0.10.0.doc.libterm.Libterm.Api

module Bv = Libterm.Sexpr.Bv

Sourcemodule Expr = Sexpr.Expr

Sourcemodule Store = Sexpr.Store

Sourcemodule Memory = Sexpr.Memory

Sourcemodule StTbl = Sexpr.StTbl

Sourcemodule BvTbl = Sexpr.BvTbl

Sourcemodule AxTbl = Sexpr.AxTbl

module NiTbl = Binsec.Basic_types.Int.Htbl

module BiMap = Binsec.Basic_types.BigInt.Map

Sourceval byte_size : int

Sourcemodule type CONTEXT = sig ... end

type ('bl, 'bv, 'ax) context =
  (module CONTEXT
  with type ax = 'ax
   and type bl = 'bl
   and type bv = 'bv)

Sourcemodule type AXHOOK = sig ... end

module Context
  (H : AXHOOK)
  (S : Libsolver.S) : 
  CONTEXT with type bl = S.Bl.t and type bv = S.Bv.t and type ax = S.Ax.t

Sourcemodule NoHook : sig ... end

Sourcemodule Make (F : Libsolver.F) : sig ... end

Sourcemodule BiTbl = Sexpr.BiTbl

Sourcemodule SafeArray (F : Libsolver.F) : sig ... end