Versions in this module Expand all Collapse all v0 v0.1.0 May 5, 2020 Changes in this version + type Conf struct + func NewConf() *Conf + type Ctx struct + func NewCtx(conf *Conf) *Ctx + func (ctx *Ctx) EvalSmt2(s string) string