A.16 library(error): Error generating support
All Application Manual Name SummaryHelp

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 V3.1.1-51-ga0b30a5)