rhs : term -> term

SYNOPSIS
Returns the right-hand side of an equation.

DESCRIPTION
rhs `t1 = t2` returns `t2`.

FAILURE CONDITIONS
Fails with rhs if term is not an equality.

EXAMPLE
  # rhs `2 + 2 = 4`;;
  val it : term = `4`

SEE ALSO
dest_eq, lhs, rand.