Skip to content

implement LogicIR backend for z3

This should use LogicIR.Fold.foldLExpr