Searched refs:PPrime (Results 1 – 4 of 4) sorted by relevance
72 , "prime" ~> PC PPrime155 PPrime -> KNum :-> KProp204 | PPrime -- ^ @prime _@ constructor308 PPrime -> text "prime"
63 TCon (PC PPrime) [ty] -> cryIsPrime ctxt ty
337 superclassSet (TCon (PC PPrime) [n]) =502 TCon (PC PPrime) [t1] -> Just t1810 prop = TCon (PC PPrime) [ty]996 (PPrime, [t1]) -> optParens (prec > 3) $ text "prime" <+> (go 5 t1)
499 PPrime -> useCtr