Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- quant(Arg1, Arg2)
- set_term_quantification(Arg1, Arg2)
- get_quant(Arg1, Arg2)
- set_quant(Arg1, Arg2)
- is_term_quantified(Arg1, Arg2)
- is_unquantified(Arg1)
- forall(Arg1)
- forallf(Arg1)
- exists(Arg1)
- existsf(Arg1)
- is_universal(Arg1)
- is_existential(Arg1)
- print_quant
- print_quant(Arg1)
- set_restriction(Arg1)
- set_restriction(Arg1, Arg2)
- get_restrictions(Arg1, Arg2)
- set_restriction_list(Arg1)
- set_restriction_list(Arg1, Arg2)
- st(Arg1)
- st(Arg1, Arg2)