Searched refs:TCIntMod (Results 1 – 4 of 4) sorted by relevance
81 TCon (TC TCIntMod) [n] -> SolvedIf [ pFin n, n >== tOne ]122 TCon (TC TCIntMod) [_] -> Unsolvable171 TCon (TC TCIntMod) [n] -> SolvedIf [ pFin n, n >== tOne ]255 TCon (TC TCIntMod) [n] -> SolvedIf [ pPrime n ]289 TCon (TC TCIntMod) [_] -> Unsolvable338 TCon (TC TCIntMod) [n] -> SolvedIf [ pFin n, n >== tOne ]375 TCon (TC TCIntMod) [_] -> Unsolvable427 TCon (TC TCIntMod) [_] -> Unsolvable520 TCon (TC TCIntMod) [modulus] ->568 TCon (TC TCIntMod) [modulus] ->
65 , "Z" ~> TC TCIntMod141 TCIntMod -> KNum :-> KType235 | TCIntMod -- ^ @Z _@ constructor333 TCIntMod -> text "Z"
457 TCon (TC TCIntMod) [n] -> Just n633 tIntMod n = TCon (TC TCIntMod) [n]977 (TCIntMod, [n]) -> optParens (prec > 3) $ text "Z" <+> go 5 n
138 (TCIntMod, [n]) -> case num n of