Searched defs:monad_abs (Results 1 – 3 of 3) sorted by relevance
85 auto monad_abs = mirror_monad->ToAbstract(); in CloneParameterAndValueNode() local
1587 auto monad_abs = monad->ToAbstract(); in AddMonadArgument() local2019 auto monad_abs = monad->abstract(); in AddMonadInput() local
1438 auto monad_abs = kUMonad->ToAbstract(); in ObtainValueNodeInMonadForm() local1444 auto monad_abs = kIOMonad->ToAbstract(); in ObtainValueNodeInMonadForm() local