Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- argument_types
- type_restriction(Arg1, Arg2)
- type_equal(Arg1, Arg2)
- type_equal(Arg1, Arg2, Arg3, Arg4)
- replace_t(Arg1, Arg2, Arg3, Arg4)
- type_sub(Arg1, Arg2)
- type_of(Arg1, Arg2, Arg3)
- types_of(Arg1, Arg2, Arg3)
- compare_types(Arg1, Arg2, Arg3)
- define_type
- verify_types