Libterm.SenvSourcemodule State
(D : Domains.S)
(Solver : Solver.GET_MODEL_WITH_STATS)
(QS : Libsse.Types.QUERY_STATISTICS) :
Libsse.Types.RAW_STATE with type Value.t = Sexpr.Expr.ttype Libsse.Types.feature += | VisibleSymbols : Sexpr.Expr.t Binsec.Dba_types.Var.Map.t Libsse.Types.feature| VisibleMemory : Sexpr.Memory.t Libsse.Types.feature