Searched defs:monad_abs (Results 1 – 3 of 3) sorted by relevance
79 auto monad_abs = mirror_monad->ToAbstract(); in CloneParameterAndValueNode() local
660 auto monad_abs = kUMonad->ToAbstract(); in ObtainValueNodeInMonadForm() local666 auto monad_abs = kIOMonad->ToAbstract(); in ObtainValueNodeInMonadForm() local
1027 auto monad_abs = monad->ToAbstract(); in AddMonadArgument() local1348 auto monad_abs = monad->abstract(); in AddMonadInput() local