rhs
boolSyntax.rhs : term -> term
Returns the right-hand side of an equation.
If M has the form t1 = t2 then rhs M returns t2.
Failure
Fails if term is not an equality.
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