Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- solve_<(Arg1, Arg2)
- solve_=<(Arg1, Arg2)
- ineq(Arg1, Arg2, Arg3, Arg4, Arg5)
- ineq_one(Arg1, Arg2, Arg3, Arg4, Arg5)
- ineq_one_n_n_0(Arg1, Arg2)
- ineq_one_n_p_0(Arg1, Arg2)
- ineq_one_s_n_0(Arg1, Arg2)
- ineq_one_s_p_0(Arg1, Arg2)