Lines Matching refs:inf_n