Searched refs:natIte (Results 1 – 1 of 1) sorted by relevance
116 , natIte467 natIte :: IsExprBuilder sym => sym -> Pred sym -> SymNat sym -> SymNat sym -> IO (SymNat sym)469 natIte sym p (SymNat x) (SymNat y) = SymNat <$> intIte sym p x y function