Searched defs:PosBigInt (Results 1 – 2 of 2) sorted by relevance
609 pattern PosBigInt n = GHC.Num.Integer.IP n function639 pattern PosBigInt n = Gmp.Jp# n function