Did you know ... Search Documentation:
Pack perfunctory_types -- prolog/declaration.pl
PublicShow source

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 type(Arg1)
 typecheck(Arg1, Arg2)
 current_ctor(Arg1, Arg2, Arg3)
 retract_ctor(Arg1, Arg2, Arg3)
 retract_all_types_and_aliases