Lines Matching full:assumption
2703 assumption that @code{\|} and @code{\+} match the literal characters
