Searched defs:bigNatMP (Results 1 – 2 of 2) sorted by relevance
617 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder (GHC.Num.BigNat.BN# n) function646 bigNatMP n = P.primBounded header 0xc2 <> bigNatToBuilder n function