Lines Matching refs:rhs
65 static void eq(lhs, rhs)
66 pword lhs, rhs;
68 ec_post_goal(ec_term(ec_did("$=",2), lhs, rhs));
71 static void geq(lhs, rhs)
72 pword lhs, rhs;
74 ec_post_goal(ec_term(ec_did("$>=",2), lhs, rhs));
77 static void leq(lhs, rhs)
78 pword lhs, rhs;
80 ec_post_goal(ec_term(ec_did("$=<",2), lhs, rhs));
90 static pword plus(lhs, rhs)
91 pword lhs, rhs;
93 return ec_term(ec_did("+",2), lhs, rhs);
96 static pword times(lhs, rhs)
97 pword lhs, rhs;
99 return ec_term(ec_did("*",2), lhs, rhs);