A.16 library(error): Error generating support
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(error): Error generating support
type_error/2
domain_error/2
existence_error/2
existence_error/3
permission_error/3
instantiation_error/1
uninstantiation_error/1
representation_error/1
syntax_error/1
resource_error/1
must_be/2
is_of_type/2
has_type/2
current_encoding/1
current_type/3
Packages
Availability:
:- use_module(
library(error)
).
[semidet,multifile]
has_type
(
+Type, @Term
)
True if
Term
satisfies
Type
.