A.16 library(error): Error generating support
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(error)).(can be autoloaded)
Source[nondet]current_type(?Type, @Var, -Body)
True when Type is a currently defined type and Var satisfies Type of the body term Body succeeds.
ClioPatria (version no GIT?)