Module Sexpr.ModelSource

Sourcetype t = Expr.t StTbl.t * Bv.t BvTbl.t * char BiTbl.t * char BiTbl.t StTbl.t * int
Sourceval empty : int -> t
Sourceval eval : ?symbols:(Expr.t -> Binsec.Bitvector.t) -> ?memory:(Memory.t -> Binsec.Bitvector.t -> char) -> t -> Expr.t -> Bv.t
Sourceval pp : Stdlib.Format.formatter -> t -> unit