Model (p.binsec.0.7.1.doc.libterm.Libterm.Sexpr.Model)

Sourcetype t = Bv.t BvTbl.t * char BiTbl.t * char BiTbl.t StTbl.t

Sourceval empty : unit -> t

Sourceval eval : t -> Expr.t -> Bv.t

val pp : 
  Stdlib.Format.formatter ->
  Expr.t list Binsec.Basic_types.String.Map.t ->
  int ->
  t ->
  unit