Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- ttholds(Arg1)
- ttholds(Arg1, Arg2)
- ttholds(Arg1, Arg2, Arg3)
- ttholds(Arg1, Arg2, Arg3, Arg4)
- ttholds(Arg1, Arg2, Arg3, Arg4, Arg5)
- ttholds(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- ttholds(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
- ttholds(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8)
- ttholds(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7, Arg8, Arg9)