Lines Matching refs:thing
22 | thing => raise (UNRECOGNISED_ROLE thing)
638 | thing => raise UNRECOGNISED_SYMBOL ("defined_type", thing)
662 | thing => raise UNRECOGNISED_SYMBOL ("defined_prop", thing)
676 | thing => raise UNRECOGNISED_SYMBOL ("defined_pred", thing)
767 | thing => raise UNRECOGNISED_SYMBOL ("defined_functor", thing)