Picologic.AST
data
Expr
data
Ident
data
Solutions
type
Ctx
variables
eval
cnf
nnf
simp