Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- cata(Arg1, Arg2, Arg3)
- catapred(Arg1, Arg2)
- cyclesafe_alias_canonical(Arg1, Arg2, Arg3)
- cyclesafe_type(Arg1, Arg2, Arg3, Arg4)
- dealias(Arg1, Arg2, Arg3)
- must_be_declared_type(Arg1, Arg2, Arg3)
- must_be_undeclared_type(Arg1, Arg2, Arg3)