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.

See also

boolSyntax.lhs, boolSyntax.dest_eq