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.