is_eq
boolSyntax.is_eq : term -> bool
Tests a term to see if it is an equation.
If M has the form t1 = t2 then is_eq M returns true. If M is
not an equation the result is false.
Failure
Never fails.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help