Module Default.Model

type t = {
  1. symbols : ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t Binsec_symbolic__Default__.Types.StTbl.t;
  2. values : Binsec_kernel.Bitvector.t Binsec_symbolic__Default__.Types.BvTbl.t;
  3. arrays : char Binsec_kernel.Basic_types.Integers.Bigint.Htbl.t Binsec_symbolic__Default__.Types.AsTbl.t;
}
val empty : unit -> t
val eval : ?symbols: (([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> Binsec_kernel.Bitvector.t) -> ?memory: ([ `Symbol ] Binsec_symbolic__Default__.Types.Memory.node -> Binsec_kernel.Bitvector.t -> char) -> t -> ([ `Exp ], string, [ `Some ] Binsec_symbolic__Default__.Types.Memory.node) Binsec_base.Term.t -> Binsec_kernel.Bitvector.t
val complement : from:t -> t -> unit
val pp : Format.formatter -> t -> unit
val pp_with_sections : (Binsec_kernel.Virtual_address.t -> string option) -> Format.formatter -> t -> unit