Lines Matching refs:higher1st
6327 const auto higher1st = [](nullary_t f){ return f(); };
6331 return higher1st(nullary) + higher2nd(nullary)(unary);
6762 const auto higher1st = [](nullary_t f){ return f(); };
6766 return higher1st(nullary) + higher2nd(nullary)(unary);
7206 const auto higher1st = [](nullary_t f){ return f(); };
7210 return higher1st(nullary) + higher2nd(nullary)(unary);
7686 const auto higher1st = [](nullary_t f){ return f(); };
7690 return higher1st(nullary) + higher2nd(nullary)(unary);
8121 const auto higher1st = [](nullary_t f){ return f(); };
8125 return higher1st(nullary) + higher2nd(nullary)(unary);
8565 const auto higher1st = [](nullary_t f){ return f(); };
8569 return higher1st(nullary) + higher2nd(nullary)(unary);