Home | History | Annotate | Download | only in core

Lines Matching refs:assume

1231 # <foo> -> <foo>  (we assume it is already well-named)
1237 # <foo> -> <foo> (we assume it is already well-named)