Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- saturate(Arg1, Arg2)
- saturate(Arg1, Arg2, Arg3)
- elem_saturate(Arg1, Arg2, Arg3)
- inv_derivate(Arg1, Arg2)
- inv_derivate(Arg1, Arg2, Arg3)
- inv_derivate1(Arg1, Arg2)
- most_spec_v(Arg1, Arg2, Arg3)
- absorb(Arg1, Arg2, Arg3)
- identify(Arg1, Arg2, Arg3)
- g1_op(Arg1, Arg2, Arg3)
- g1_op(Arg1, Arg2, Arg3, Arg4)
- apply_g1(Arg1, Arg2)