Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

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.