[det]check_predicate_option(:PI,
+Arg, +Option)Verify predicate options at runtime. Similar to
current_predicate_option/3,
but intended to support runtime checking.
- Errors
- -
existence_error(option, OptionName) if the option is not
supported by PI.
- type_error(Type, Value) if the option is supported but
the value does not match the option type. See must_be/2.