Searched refs:bigNat (Results 1 – 4 of 4) sorted by relevance
151 TkInteger integer@(PosBigInt bigNat) vs'159 TkInteger integer@(NegBigInt bigNat) vs'613 bigNatSizeInBytes bigNat =614 Gmp.bigNatSizeInBase 256 (GHC.Num.BigNat.unBigNat bigNat)643 bigNatSizeInBytes bigNat = W# (Gmp.sizeInBaseBigNat bigNat 256#) function658 exportBigNatToAddr bigNat addr# =660 Gmp.exportBigNatToAddr bigNat addr# 1#667 bigNatBuilder bigNat =668 let sizeW = bigNatSizeInBytes bigNat677 dumpBigNat (W# sizeW#) bigNat ptr@(Ptr addr#) = do[all …]
26 syn keyword zimbuBasicType nat nat8 byte nat16 nat32 nat64 bigNat