Input Should be parsed as Derived constraint
on precedence
--------------------------------------------------------------------------------
Input Should be parsed as Derived constraint
on precedence
--------------------------------------------------------------------------------
S x = y (= (S x) y) apply > infix operators
\forall x.x=x (\forall x.(= x x)) infix operators > binders
S x = y (= (S x) y) apply > infix operators
\forall x.x=x (\forall x.(= x x)) infix operators > binders