Did you know ... Search Documentation:
Predicate jpl_ref_to_type/2