check_that/3 and friends: a replacement for the must_be/2 predicate of
Prolog. must_be/2 is used to check preconditions on predicate entry, but
is not very flexible. Can we improve on that?
The homepage for this module is at
The following predicates are exported, but not or incorrectly documented.
- wellformed_conds_or_throw(Arg1, Arg2)