Searched defs:intToZn (Results 1 – 2 of 2) sorted by relevance
305 intToZn _ 0 _ = evalPanic "intToZn" ["0 modulus not allowed"] function306 intToZn _ m x = pure $! x `mod` m function
311 intToZn _ _m a = pure a function