Searched refs:less_general (Results 1 – 1 of 1) sorted by relevance
37 Representation less_general) { in TestPairPositive() argument38 CHECK(more_general.is_more_general_than(less_general)); in TestPairPositive()43 Representation less_general) { in TestPairNegative() argument44 CHECK(!more_general.is_more_general_than(less_general)); in TestPairNegative()