Expr ============= .. automodule:: pantograph.expr :members: .. autodata:: pantograph.expr.Expr .. autodata:: pantograph.expr.Tactic