Searched refs:local_u_monad (Results 1 – 1 of 1) sorted by relevance
350 AnfNodePtr local_u_monad = nullptr, local_io_monad = nullptr; in FilterMonadInput() local352 [&local_u_monad, &local_io_monad](const auto &input) -> bool { in FilterMonadInput()354 if (local_u_monad != nullptr) { in FilterMonadInput()356 … << "Cannot have multiple U Monad in one call, first: " << local_u_monad->ToString() in FilterMonadInput()359 local_u_monad = input; in FilterMonadInput()373 *possible_u_monad = local_u_monad; in FilterMonadInput()