~/bend-docscommunity

types.bend relies on unsafe/foreign

raw source on the hub · import 0x38c59765d1dfcdb7e4b4aa026bafb649/types.bend as Types

1 import
import Base

Types

type u8 source · line 361 · raw

Data

type u16 source · line 506 · raw

Data

type u32 source · line 651 · raw

Data

type u64 source · line 796 · raw

Data

type u128 source · line 941 · raw

Data

type i8 source · line 1086 · raw

Data

type i16 source · line 1231 · raw

Data

type i32 source · line 1376 · raw

Data

type i64 source · line 1521 · raw

Data

type i128 source · line 1666 · raw

Data

type Pubkey source · line 1831 · raw

Data

32-byte key, eight little-endian words.

type Slice source · line 1862 · raw

Data

Byte window into a word buffer. off and len are bytes.

type Seeds source · line 1879 · raw

Data

Ordered find_program_address seeds. The mark is not the hash.

type Account source · line 1886 · raw

Data

One Solana account. lamports is a wrapping u64.

Definitions

def W.pred source · line 11 · raw

@n:Nat -> Nat

def W.from_nat source · line 18 · raw

@+n:Nat -> @k:Nat -> Word(n)

def W.one source · line 25 · raw

@+n:Nat -> Word(n)

def W.ten source · line 28 · raw

@+n:Nat -> Word(n)

def W.is_zero source · line 31 · raw

@+n:Nat -> @a:Word(n) -> Bool

def W.msb.go source · line 34 · raw

@p:Nat -> @b:Bool -> @t:Word(p) -> Bool

def W.msb source · line 43 · raw

@n:Nat -> @w:Word(n) -> Bool

def W.set_msb.go source · line 52 · raw

@p:Nat -> @b:Bool -> @t:Word(p) -> @bit:Bool -> Word(1n+p)

def W.set_msb source · line 61 · raw

@n:Nat -> @w:Word(n) -> @bit:Bool -> Word(n)

def W.shln source · line 70 · raw

@+n:Nat -> @a:Word(n) -> @k:Nat -> Word(n)

def W.shrn source · line 77 · raw

@+n:Nat -> @a:Word(n) -> @k:Nat -> Word(n)

def W.sshr source · line 84 · raw

@+n:Nat -> @+w:Word(n) -> Word(n)

def W.sshrn source · line 87 · raw

@+n:Nat -> @a:Word(n) -> @k:Nat -> Word(n)

def W.highbit source · line 94 · raw

@+n:Nat -> Word(n)

def W.divmod.fin source · line 97 · raw

@-p:Nat -> @+n:Nat -> @q:Word(p) -> @+s:Word(n) -> @+b:Word(n) -> @g:Bool -> Pair(Word(1n+p), Word(n))

def W.divmod.shl source · line 111 · raw

@-p:Nat -> @+n:Nat -> @q:Word(p) -> @+b:Word(n) -> @ts:Pair(Bool, Word(n)) -> Pair(Word(1n+p), Word(n))

def W.divmod.rec source · line 122 · raw

@-p:Nat -> @+n:Nat -> @a0:Bool -> @+b:Word(n) -> @qr:Pair(Word(p), Word(n)) -> Pair(Word(1n+p), Word(n))

def W.divmod source · line 132 · raw

@m:Nat -> @+n:Nat -> @a:Word(m) -> @+b:Word(n) -> Pair(Word(m), Word(n))

def W.quot source · line 139 · raw

@+n:Nat -> @qr:Pair(Word(n), Word(n)) -> Word(n)

def W.rem source · line 143 · raw

@+n:Nat -> @qr:Pair(Word(n), Word(n)) -> Word(n)

def W.div.if source · line 147 · raw

@+n:Nat -> @aw:Word(n) -> @+b:Word(n) -> @z:Bool -> Word(n)

def W.div source · line 154 · raw

@+n:Nat -> @a:Word(n) -> @+b:Word(n) -> Word(n)

def W.mod.if source · line 157 · raw

@+n:Nat -> @aw:Word(n) -> @+b:Word(n) -> @z:Bool -> Word(n)

def W.mod source · line 164 · raw

@+n:Nat -> @a:Word(n) -> @+b:Word(n) -> Word(n)

def W.neg source · line 167 · raw

@+n:Nat -> @a:Word(n) -> Word(n)

def W.abs.if source · line 170 · raw

@+n:Nat -> @a:Word(n) -> @neg:Bool -> Word(n)

def W.abs source · line 177 · raw

@+n:Nat -> @+a:Word(n) -> Word(n)

def W.sign_diff source · line 180 · raw

@+n:Nat -> @+a:Word(n) -> @+b:Word(n) -> Bool

def W.apply_sign source · line 183 · raw

@+n:Nat -> @neg:Bool -> @mag:Word(n) -> Word(n)

def W.sdiv.if source · line 190 · raw

@+n:Nat -> @+a:Word(n) -> @+b:Word(n) -> @z:Bool -> Word(n)

def W.sdiv source · line 197 · raw

@+n:Nat -> @+a:Word(n) -> @+b:Word(n) -> Word(n)

def W.smod.if source · line 200 · raw

@+n:Nat -> @+a:Word(n) -> @+b:Word(n) -> @z:Bool -> Word(n)

def W.smod source · line 207 · raw

@+n:Nat -> @+a:Word(n) -> @+b:Word(n) -> Word(n)

def W.scmp.fin source · line 210 · raw

@sa:Bool -> @sb:Bool -> @u:Cmp -> Cmp

def W.scmp source · line 221 · raw

@+n:Nat -> @+a:Word(n) -> @+b:Word(n) -> Cmp

def W.log2.go source · line 224 · raw

@+k:Nat -> @+n:Nat -> @+v:Word(n) -> @+d:Nat -> Nat

def W.log2 source · line 239 · raw

@+n:Nat -> @+v:Word(n) -> Nat

def W.pow source · line 242 · raw

@+n:Nat -> @+a:Word(n) -> @k:Nat -> Word(n)

def W.digit source · line 249 · raw

@+n:Nat -> @x:U32 -> Word(n)

def W.show.step source · line 260 · raw

@+g:Nat -> @+n:Nat -> @+v:Word(n) -> @acc:String -> @z:Bool -> String

def W.show.if source · line 277 · raw

@+n:Nat -> @+digits:Nat -> @a:Word(n) -> @z:Bool -> String

def W.show source · line 284 · raw

@+n:Nat -> @+digits:Nat -> @+a:Word(n) -> String

def W.sshow.if source · line 287 · raw

@+n:Nat -> @+digits:Nat -> @a:Word(n) -> @neg:Bool -> String

def W.sshow source · line 294 · raw

@+n:Nat -> @+digits:Nat -> @+a:Word(n) -> String

def W.read.if source · line 306 · raw

@+n:Nat -> @t:String -> @nxt:Word(n) -> @ok:Bool -> Maybe<&2, Word(n)>

def W.read source · line 313 · raw

@+n:Nat -> @s:String -> Maybe<&2, Word(n)>

def W.sread.pos.if source · line 320 · raw

@+n:Nat -> @v:Word(n) -> @hi:Bool -> Maybe<&2, Word(n)>

def W.sread.pos source · line 327 · raw

@+n:Nat -> @m:Maybe<&2, Word(n)> -> Maybe<&2, Word(n)>

def W.sread.neg.if source · line 334 · raw

@+n:Nat -> @v:Word(n) -> @ok:Bool -> Maybe<&2, Word(n)>

def W.sread.neg source · line 341 · raw

@+n:Nat -> @m:Maybe<&2, Word(n)> -> Maybe<&2, Word(n)>

def W.sread.sign source · line 348 · raw

@+n:Nat -> @t:String -> @x:U32 -> @minus:Bool -> Maybe<&2, Word(n)>

def W.sread source · line 355 · raw

@+n:Nat -> @s:String -> Maybe<&2, Word(n)>

def u8.inc source · line 364 · raw

@a:u8 -> u8

def u8.add source · line 369 · raw

@a:u8 -> @b:u8 -> u8

def u8.sub source · line 374 · raw

@a:u8 -> @b:u8 -> u8

def u8.mul source · line 379 · raw

@a:u8 -> @b:u8 -> u8

def u8.not source · line 384 · raw

@a:u8 -> u8

def u8.and source · line 389 · raw

@a:u8 -> @b:u8 -> u8

def u8.or source · line 394 · raw

@a:u8 -> @b:u8 -> u8

def u8.xor source · line 399 · raw

@a:u8 -> @b:u8 -> u8

def u8.shl source · line 404 · raw

@a:u8 -> u8

def u8.shr source · line 409 · raw

@a:u8 -> u8

def u8.shrn source · line 414 · raw

@a:u8 -> @k:Nat -> u8

def u8.cmp source · line 419 · raw

@a:u8 -> @b:u8 -> Cmp

def u8.div source · line 424 · raw

@a:u8 -> @+b:u8 -> u8

def u8.mod source · line 429 · raw

@a:u8 -> @+b:u8 -> u8

def u8.shln source · line 434 · raw

@a:u8 -> @k:Nat -> u8

def u8.is_eq source · line 439 · raw

@a:u8 -> @b:u8 -> Bool

def u8.is_ne source · line 442 · raw

@a:u8 -> @b:u8 -> Bool

def u8.is_lt source · line 445 · raw

@a:u8 -> @b:u8 -> Bool

def u8.is_le source · line 448 · raw

@a:u8 -> @b:u8 -> Bool

def u8.is_gt source · line 451 · raw

@a:u8 -> @b:u8 -> Bool

def u8.is_ge source · line 454 · raw

@a:u8 -> @b:u8 -> Bool

def u8.from_nat source · line 457 · raw

@k:Nat -> u8

def u8.is_zero source · line 460 · raw

@a:u8 -> Bool

def u8.to_nat source · line 463 · raw

@a:u8 -> Nat

def u8.log2 source · line 468 · raw

@+a:u8 -> Nat

def u8.min source · line 473 · raw

@+a:u8 -> @+b:u8 -> u8

def u8.max source · line 476 · raw

@+a:u8 -> @+b:u8 -> u8

def u8.clamp source · line 479 · raw

@x:u8 -> @lo:u8 -> @hi:u8 -> u8

def u8.pow source · line 482 · raw

@+a:u8 -> @k:Nat -> u8

def u8.is_even source · line 487 · raw

@a:u8 -> Bool

def u8.show source · line 492 · raw

@+a:u8 -> String

def u8.read.wrap source · line 497 · raw

@m:Maybe<&2, Word(8n)> -> Maybe<&2, u8>

def u8.read source · line 504 · raw

@s:String -> Maybe<&2, u8>

def u16.inc source · line 509 · raw

@a:u16 -> u16

def u16.add source · line 514 · raw

@a:u16 -> @b:u16 -> u16

def u16.sub source · line 519 · raw

@a:u16 -> @b:u16 -> u16

def u16.mul source · line 524 · raw

@a:u16 -> @b:u16 -> u16

def u16.not source · line 529 · raw

@a:u16 -> u16

def u16.and source · line 534 · raw

@a:u16 -> @b:u16 -> u16

def u16.or source · line 539 · raw

@a:u16 -> @b:u16 -> u16

def u16.xor source · line 544 · raw

@a:u16 -> @b:u16 -> u16

def u16.shl source · line 549 · raw

@a:u16 -> u16

def u16.shr source · line 554 · raw

@a:u16 -> u16

def u16.shrn source · line 559 · raw

@a:u16 -> @k:Nat -> u16

def u16.cmp source · line 564 · raw

@a:u16 -> @b:u16 -> Cmp

def u16.div source · line 569 · raw

@a:u16 -> @+b:u16 -> u16

def u16.mod source · line 574 · raw

@a:u16 -> @+b:u16 -> u16

def u16.shln source · line 579 · raw

@a:u16 -> @k:Nat -> u16

def u16.is_eq source · line 584 · raw

@a:u16 -> @b:u16 -> Bool

def u16.is_ne source · line 587 · raw

@a:u16 -> @b:u16 -> Bool

def u16.is_lt source · line 590 · raw

@a:u16 -> @b:u16 -> Bool

def u16.is_le source · line 593 · raw

@a:u16 -> @b:u16 -> Bool

def u16.is_gt source · line 596 · raw

@a:u16 -> @b:u16 -> Bool

def u16.is_ge source · line 599 · raw

@a:u16 -> @b:u16 -> Bool

def u16.from_nat source · line 602 · raw

@k:Nat -> u16

def u16.is_zero source · line 605 · raw

@a:u16 -> Bool

def u16.to_nat source · line 608 · raw

@a:u16 -> Nat

def u16.log2 source · line 613 · raw

@+a:u16 -> Nat

def u16.min source · line 618 · raw

@+a:u16 -> @+b:u16 -> u16

def u16.max source · line 621 · raw

@+a:u16 -> @+b:u16 -> u16

def u16.clamp source · line 624 · raw

@x:u16 -> @lo:u16 -> @hi:u16 -> u16

def u16.pow source · line 627 · raw

@+a:u16 -> @k:Nat -> u16

def u16.is_even source · line 632 · raw

@a:u16 -> Bool

def u16.show source · line 637 · raw

@+a:u16 -> String

def u16.read.wrap source · line 642 · raw

@m:Maybe<&2, Word(16n)> -> Maybe<&2, u16>

def u16.read source · line 649 · raw

@s:String -> Maybe<&2, u16>

def u32.inc source · line 654 · raw

@a:u32 -> u32

def u32.add source · line 659 · raw

@a:u32 -> @b:u32 -> u32

def u32.sub source · line 664 · raw

@a:u32 -> @b:u32 -> u32

def u32.mul source · line 669 · raw

@a:u32 -> @b:u32 -> u32

def u32.not source · line 674 · raw

@a:u32 -> u32

def u32.and source · line 679 · raw

@a:u32 -> @b:u32 -> u32

def u32.or source · line 684 · raw

@a:u32 -> @b:u32 -> u32

def u32.xor source · line 689 · raw

@a:u32 -> @b:u32 -> u32

def u32.shl source · line 694 · raw

@a:u32 -> u32

def u32.shr source · line 699 · raw

@a:u32 -> u32

def u32.shrn source · line 704 · raw

@a:u32 -> @k:Nat -> u32

def u32.cmp source · line 709 · raw

@a:u32 -> @b:u32 -> Cmp

def u32.div source · line 714 · raw

@a:u32 -> @+b:u32 -> u32

def u32.mod source · line 719 · raw

@a:u32 -> @+b:u32 -> u32

def u32.shln source · line 724 · raw

@a:u32 -> @k:Nat -> u32

def u32.is_eq source · line 729 · raw

@a:u32 -> @b:u32 -> Bool

def u32.is_ne source · line 732 · raw

@a:u32 -> @b:u32 -> Bool

def u32.is_lt source · line 735 · raw

@a:u32 -> @b:u32 -> Bool

def u32.is_le source · line 738 · raw

@a:u32 -> @b:u32 -> Bool

def u32.is_gt source · line 741 · raw

@a:u32 -> @b:u32 -> Bool

def u32.is_ge source · line 744 · raw

@a:u32 -> @b:u32 -> Bool

def u32.from_nat source · line 747 · raw

@k:Nat -> u32

def u32.is_zero source · line 750 · raw

@a:u32 -> Bool

def u32.to_nat source · line 753 · raw

@a:u32 -> Nat

def u32.log2 source · line 758 · raw

@+a:u32 -> Nat

def u32.min source · line 763 · raw

@+a:u32 -> @+b:u32 -> u32

def u32.max source · line 766 · raw

@+a:u32 -> @+b:u32 -> u32

def u32.clamp source · line 769 · raw

@x:u32 -> @lo:u32 -> @hi:u32 -> u32

def u32.pow source · line 772 · raw

@+a:u32 -> @k:Nat -> u32

def u32.is_even source · line 777 · raw

@a:u32 -> Bool

def u32.show source · line 782 · raw

@+a:u32 -> String

def u32.read.wrap source · line 787 · raw

@m:Maybe<&2, Word(32n)> -> Maybe<&2, u32>

def u32.read source · line 794 · raw

@s:String -> Maybe<&2, u32>

def u64.inc source · line 799 · raw

@a:u64 -> u64

def u64.add source · line 804 · raw

@a:u64 -> @b:u64 -> u64

def u64.sub source · line 809 · raw

@a:u64 -> @b:u64 -> u64

def u64.mul source · line 814 · raw

@a:u64 -> @b:u64 -> u64

def u64.not source · line 819 · raw

@a:u64 -> u64

def u64.and source · line 824 · raw

@a:u64 -> @b:u64 -> u64

def u64.or source · line 829 · raw

@a:u64 -> @b:u64 -> u64

def u64.xor source · line 834 · raw

@a:u64 -> @b:u64 -> u64

def u64.shl source · line 839 · raw

@a:u64 -> u64

def u64.shr source · line 844 · raw

@a:u64 -> u64

def u64.shrn source · line 849 · raw

@a:u64 -> @k:Nat -> u64

def u64.cmp source · line 854 · raw

@a:u64 -> @b:u64 -> Cmp

def u64.div source · line 859 · raw

@a:u64 -> @+b:u64 -> u64

def u64.mod source · line 864 · raw

@a:u64 -> @+b:u64 -> u64

def u64.shln source · line 869 · raw

@a:u64 -> @k:Nat -> u64

def u64.is_eq source · line 874 · raw

@a:u64 -> @b:u64 -> Bool

def u64.is_ne source · line 877 · raw

@a:u64 -> @b:u64 -> Bool

def u64.is_lt source · line 880 · raw

@a:u64 -> @b:u64 -> Bool

def u64.is_le source · line 883 · raw

@a:u64 -> @b:u64 -> Bool

def u64.is_gt source · line 886 · raw

@a:u64 -> @b:u64 -> Bool

def u64.is_ge source · line 889 · raw

@a:u64 -> @b:u64 -> Bool

def u64.from_nat source · line 892 · raw

@k:Nat -> u64

def u64.is_zero source · line 895 · raw

@a:u64 -> Bool

def u64.to_nat source · line 898 · raw

@a:u64 -> Nat

def u64.log2 source · line 903 · raw

@+a:u64 -> Nat

def u64.min source · line 908 · raw

@+a:u64 -> @+b:u64 -> u64

def u64.max source · line 911 · raw

@+a:u64 -> @+b:u64 -> u64

def u64.clamp source · line 914 · raw

@x:u64 -> @lo:u64 -> @hi:u64 -> u64

def u64.pow source · line 917 · raw

@+a:u64 -> @k:Nat -> u64

def u64.is_even source · line 922 · raw

@a:u64 -> Bool

def u64.show source · line 927 · raw

@+a:u64 -> String

def u64.read.wrap source · line 932 · raw

@m:Maybe<&2, Word(64n)> -> Maybe<&2, u64>

def u64.read source · line 939 · raw

@s:String -> Maybe<&2, u64>

def u128.inc source · line 944 · raw

@a:u128 -> u128

def u128.add source · line 949 · raw

@a:u128 -> @b:u128 -> u128

def u128.sub source · line 954 · raw

@a:u128 -> @b:u128 -> u128

def u128.mul source · line 959 · raw

@a:u128 -> @b:u128 -> u128

def u128.not source · line 964 · raw

@a:u128 -> u128

def u128.and source · line 969 · raw

@a:u128 -> @b:u128 -> u128

def u128.or source · line 974 · raw

@a:u128 -> @b:u128 -> u128

def u128.xor source · line 979 · raw

@a:u128 -> @b:u128 -> u128

def u128.shl source · line 984 · raw

@a:u128 -> u128

def u128.shr source · line 989 · raw

@a:u128 -> u128

def u128.shrn source · line 994 · raw

@a:u128 -> @k:Nat -> u128

def u128.cmp source · line 999 · raw

@a:u128 -> @b:u128 -> Cmp

def u128.div source · line 1004 · raw

@a:u128 -> @+b:u128 -> u128

def u128.mod source · line 1009 · raw

@a:u128 -> @+b:u128 -> u128

def u128.shln source · line 1014 · raw

@a:u128 -> @k:Nat -> u128

def u128.is_eq source · line 1019 · raw

@a:u128 -> @b:u128 -> Bool

def u128.is_ne source · line 1022 · raw

@a:u128 -> @b:u128 -> Bool

def u128.is_lt source · line 1025 · raw

@a:u128 -> @b:u128 -> Bool

def u128.is_le source · line 1028 · raw

@a:u128 -> @b:u128 -> Bool

def u128.is_gt source · line 1031 · raw

@a:u128 -> @b:u128 -> Bool

def u128.is_ge source · line 1034 · raw

@a:u128 -> @b:u128 -> Bool

def u128.from_nat source · line 1037 · raw

@k:Nat -> u128

def u128.is_zero source · line 1040 · raw

@a:u128 -> Bool

def u128.to_nat source · line 1043 · raw

@a:u128 -> Nat

def u128.log2 source · line 1048 · raw

@+a:u128 -> Nat

def u128.min source · line 1053 · raw

@+a:u128 -> @+b:u128 -> u128

def u128.max source · line 1056 · raw

@+a:u128 -> @+b:u128 -> u128

def u128.clamp source · line 1059 · raw

@x:u128 -> @lo:u128 -> @hi:u128 -> u128

def u128.pow source · line 1062 · raw

@+a:u128 -> @k:Nat -> u128

def u128.is_even source · line 1067 · raw

@a:u128 -> Bool

def u128.show source · line 1072 · raw

@+a:u128 -> String

def u128.read.wrap source · line 1077 · raw

@m:Maybe<&2, Word(128n)> -> Maybe<&2, u128>

def u128.read source · line 1084 · raw

@s:String -> Maybe<&2, u128>

def i8.inc source · line 1089 · raw

@a:i8 -> i8

def i8.add source · line 1094 · raw

@a:i8 -> @b:i8 -> i8

def i8.sub source · line 1099 · raw

@a:i8 -> @b:i8 -> i8

def i8.mul source · line 1104 · raw

@a:i8 -> @b:i8 -> i8

def i8.not source · line 1109 · raw

@a:i8 -> i8

def i8.and source · line 1114 · raw

@a:i8 -> @b:i8 -> i8

def i8.or source · line 1119 · raw

@a:i8 -> @b:i8 -> i8

def i8.xor source · line 1124 · raw

@a:i8 -> @b:i8 -> i8

def i8.shl source · line 1129 · raw

@a:i8 -> i8

def i8.shr source · line 1134 · raw

@+a:i8 -> i8

def i8.shrn source · line 1139 · raw

@a:i8 -> @k:Nat -> i8

def i8.cmp source · line 1144 · raw

@+a:i8 -> @+b:i8 -> Cmp

def i8.div source · line 1149 · raw

@+a:i8 -> @+b:i8 -> i8

def i8.mod source · line 1154 · raw

@+a:i8 -> @+b:i8 -> i8

def i8.shln source · line 1159 · raw

@a:i8 -> @k:Nat -> i8

def i8.is_eq source · line 1164 · raw

@a:i8 -> @b:i8 -> Bool

def i8.is_ne source · line 1167 · raw

@a:i8 -> @b:i8 -> Bool

def i8.is_lt source · line 1170 · raw

@a:i8 -> @b:i8 -> Bool

def i8.is_le source · line 1173 · raw

@a:i8 -> @b:i8 -> Bool

def i8.is_gt source · line 1176 · raw

@a:i8 -> @b:i8 -> Bool

def i8.is_ge source · line 1179 · raw

@a:i8 -> @b:i8 -> Bool

def i8.from_nat source · line 1182 · raw

@k:Nat -> i8

def i8.is_zero source · line 1185 · raw

@a:i8 -> Bool

def i8.to_nat source · line 1188 · raw

@a:i8 -> Nat

def i8.log2 source · line 1193 · raw

@+a:i8 -> Nat

def i8.min source · line 1198 · raw

@+a:i8 -> @+b:i8 -> i8

def i8.max source · line 1201 · raw

@+a:i8 -> @+b:i8 -> i8

def i8.clamp source · line 1204 · raw

@x:i8 -> @lo:i8 -> @hi:i8 -> i8

def i8.pow source · line 1207 · raw

@+a:i8 -> @k:Nat -> i8

def i8.is_even source · line 1212 · raw

@a:i8 -> Bool

def i8.show source · line 1217 · raw

@+a:i8 -> String

def i8.read.wrap source · line 1222 · raw

@m:Maybe<&2, Word(8n)> -> Maybe<&2, i8>

def i8.read source · line 1229 · raw

@s:String -> Maybe<&2, i8>

def i16.inc source · line 1234 · raw

@a:i16 -> i16

def i16.add source · line 1239 · raw

@a:i16 -> @b:i16 -> i16

def i16.sub source · line 1244 · raw

@a:i16 -> @b:i16 -> i16

def i16.mul source · line 1249 · raw

@a:i16 -> @b:i16 -> i16

def i16.not source · line 1254 · raw

@a:i16 -> i16

def i16.and source · line 1259 · raw

@a:i16 -> @b:i16 -> i16

def i16.or source · line 1264 · raw

@a:i16 -> @b:i16 -> i16

def i16.xor source · line 1269 · raw

@a:i16 -> @b:i16 -> i16

def i16.shl source · line 1274 · raw

@a:i16 -> i16

def i16.shr source · line 1279 · raw

@+a:i16 -> i16

def i16.shrn source · line 1284 · raw

@a:i16 -> @k:Nat -> i16

def i16.cmp source · line 1289 · raw

@+a:i16 -> @+b:i16 -> Cmp

def i16.div source · line 1294 · raw

@+a:i16 -> @+b:i16 -> i16

def i16.mod source · line 1299 · raw

@+a:i16 -> @+b:i16 -> i16

def i16.shln source · line 1304 · raw

@a:i16 -> @k:Nat -> i16

def i16.is_eq source · line 1309 · raw

@a:i16 -> @b:i16 -> Bool

def i16.is_ne source · line 1312 · raw

@a:i16 -> @b:i16 -> Bool

def i16.is_lt source · line 1315 · raw

@a:i16 -> @b:i16 -> Bool

def i16.is_le source · line 1318 · raw

@a:i16 -> @b:i16 -> Bool

def i16.is_gt source · line 1321 · raw

@a:i16 -> @b:i16 -> Bool

def i16.is_ge source · line 1324 · raw

@a:i16 -> @b:i16 -> Bool

def i16.from_nat source · line 1327 · raw

@k:Nat -> i16

def i16.is_zero source · line 1330 · raw

@a:i16 -> Bool

def i16.to_nat source · line 1333 · raw

@a:i16 -> Nat

def i16.log2 source · line 1338 · raw

@+a:i16 -> Nat

def i16.min source · line 1343 · raw

@+a:i16 -> @+b:i16 -> i16

def i16.max source · line 1346 · raw

@+a:i16 -> @+b:i16 -> i16

def i16.clamp source · line 1349 · raw

@x:i16 -> @lo:i16 -> @hi:i16 -> i16

def i16.pow source · line 1352 · raw

@+a:i16 -> @k:Nat -> i16

def i16.is_even source · line 1357 · raw

@a:i16 -> Bool

def i16.show source · line 1362 · raw

@+a:i16 -> String

def i16.read.wrap source · line 1367 · raw

@m:Maybe<&2, Word(16n)> -> Maybe<&2, i16>

def i16.read source · line 1374 · raw

@s:String -> Maybe<&2, i16>

def i32.inc source · line 1379 · raw

@a:i32 -> i32

def i32.add source · line 1384 · raw

@a:i32 -> @b:i32 -> i32

def i32.sub source · line 1389 · raw

@a:i32 -> @b:i32 -> i32

def i32.mul source · line 1394 · raw

@a:i32 -> @b:i32 -> i32

def i32.not source · line 1399 · raw

@a:i32 -> i32

def i32.and source · line 1404 · raw

@a:i32 -> @b:i32 -> i32

def i32.or source · line 1409 · raw

@a:i32 -> @b:i32 -> i32

def i32.xor source · line 1414 · raw

@a:i32 -> @b:i32 -> i32

def i32.shl source · line 1419 · raw

@a:i32 -> i32

def i32.shr source · line 1424 · raw

@+a:i32 -> i32

def i32.shrn source · line 1429 · raw

@a:i32 -> @k:Nat -> i32

def i32.cmp source · line 1434 · raw

@+a:i32 -> @+b:i32 -> Cmp

def i32.div source · line 1439 · raw

@+a:i32 -> @+b:i32 -> i32

def i32.mod source · line 1444 · raw

@+a:i32 -> @+b:i32 -> i32

def i32.shln source · line 1449 · raw

@a:i32 -> @k:Nat -> i32

def i32.is_eq source · line 1454 · raw

@a:i32 -> @b:i32 -> Bool

def i32.is_ne source · line 1457 · raw

@a:i32 -> @b:i32 -> Bool

def i32.is_lt source · line 1460 · raw

@a:i32 -> @b:i32 -> Bool

def i32.is_le source · line 1463 · raw

@a:i32 -> @b:i32 -> Bool

def i32.is_gt source · line 1466 · raw

@a:i32 -> @b:i32 -> Bool

def i32.is_ge source · line 1469 · raw

@a:i32 -> @b:i32 -> Bool

def i32.from_nat source · line 1472 · raw

@k:Nat -> i32

def i32.is_zero source · line 1475 · raw

@a:i32 -> Bool

def i32.to_nat source · line 1478 · raw

@a:i32 -> Nat

def i32.log2 source · line 1483 · raw

@+a:i32 -> Nat

def i32.min source · line 1488 · raw

@+a:i32 -> @+b:i32 -> i32

def i32.max source · line 1491 · raw

@+a:i32 -> @+b:i32 -> i32

def i32.clamp source · line 1494 · raw

@x:i32 -> @lo:i32 -> @hi:i32 -> i32

def i32.pow source · line 1497 · raw

@+a:i32 -> @k:Nat -> i32

def i32.is_even source · line 1502 · raw

@a:i32 -> Bool

def i32.show source · line 1507 · raw

@+a:i32 -> String

def i32.read.wrap source · line 1512 · raw

@m:Maybe<&2, Word(32n)> -> Maybe<&2, i32>

def i32.read source · line 1519 · raw

@s:String -> Maybe<&2, i32>

def i64.inc source · line 1524 · raw

@a:i64 -> i64

def i64.add source · line 1529 · raw

@a:i64 -> @b:i64 -> i64

def i64.sub source · line 1534 · raw

@a:i64 -> @b:i64 -> i64

def i64.mul source · line 1539 · raw

@a:i64 -> @b:i64 -> i64

def i64.not source · line 1544 · raw

@a:i64 -> i64

def i64.and source · line 1549 · raw

@a:i64 -> @b:i64 -> i64

def i64.or source · line 1554 · raw

@a:i64 -> @b:i64 -> i64

def i64.xor source · line 1559 · raw

@a:i64 -> @b:i64 -> i64

def i64.shl source · line 1564 · raw

@a:i64 -> i64

def i64.shr source · line 1569 · raw

@+a:i64 -> i64

def i64.shrn source · line 1574 · raw

@a:i64 -> @k:Nat -> i64

def i64.cmp source · line 1579 · raw

@+a:i64 -> @+b:i64 -> Cmp

def i64.div source · line 1584 · raw

@+a:i64 -> @+b:i64 -> i64

def i64.mod source · line 1589 · raw

@+a:i64 -> @+b:i64 -> i64

def i64.shln source · line 1594 · raw

@a:i64 -> @k:Nat -> i64

def i64.is_eq source · line 1599 · raw

@a:i64 -> @b:i64 -> Bool

def i64.is_ne source · line 1602 · raw

@a:i64 -> @b:i64 -> Bool

def i64.is_lt source · line 1605 · raw

@a:i64 -> @b:i64 -> Bool

def i64.is_le source · line 1608 · raw

@a:i64 -> @b:i64 -> Bool

def i64.is_gt source · line 1611 · raw

@a:i64 -> @b:i64 -> Bool

def i64.is_ge source · line 1614 · raw

@a:i64 -> @b:i64 -> Bool

def i64.from_nat source · line 1617 · raw

@k:Nat -> i64

def i64.is_zero source · line 1620 · raw

@a:i64 -> Bool

def i64.to_nat source · line 1623 · raw

@a:i64 -> Nat

def i64.log2 source · line 1628 · raw

@+a:i64 -> Nat

def i64.min source · line 1633 · raw

@+a:i64 -> @+b:i64 -> i64

def i64.max source · line 1636 · raw

@+a:i64 -> @+b:i64 -> i64

def i64.clamp source · line 1639 · raw

@x:i64 -> @lo:i64 -> @hi:i64 -> i64

def i64.pow source · line 1642 · raw

@+a:i64 -> @k:Nat -> i64

def i64.is_even source · line 1647 · raw

@a:i64 -> Bool

def i64.show source · line 1652 · raw

@+a:i64 -> String

def i64.read.wrap source · line 1657 · raw

@m:Maybe<&2, Word(64n)> -> Maybe<&2, i64>

def i64.read source · line 1664 · raw

@s:String -> Maybe<&2, i64>

def i128.inc source · line 1669 · raw

@a:i128 -> i128

def i128.add source · line 1674 · raw

@a:i128 -> @b:i128 -> i128

def i128.sub source · line 1679 · raw

@a:i128 -> @b:i128 -> i128

def i128.mul source · line 1684 · raw

@a:i128 -> @b:i128 -> i128

def i128.not source · line 1689 · raw

@a:i128 -> i128

def i128.and source · line 1694 · raw

@a:i128 -> @b:i128 -> i128

def i128.or source · line 1699 · raw

@a:i128 -> @b:i128 -> i128

def i128.xor source · line 1704 · raw

@a:i128 -> @b:i128 -> i128

def i128.shl source · line 1709 · raw

@a:i128 -> i128

def i128.shr source · line 1714 · raw

@+a:i128 -> i128

def i128.shrn source · line 1719 · raw

@a:i128 -> @k:Nat -> i128

def i128.cmp source · line 1724 · raw

@+a:i128 -> @+b:i128 -> Cmp

def i128.div source · line 1729 · raw

@+a:i128 -> @+b:i128 -> i128

def i128.mod source · line 1734 · raw

@+a:i128 -> @+b:i128 -> i128

def i128.shln source · line 1739 · raw

@a:i128 -> @k:Nat -> i128

def i128.is_eq source · line 1744 · raw

@a:i128 -> @b:i128 -> Bool

def i128.is_ne source · line 1747 · raw

@a:i128 -> @b:i128 -> Bool

def i128.is_lt source · line 1750 · raw

@a:i128 -> @b:i128 -> Bool

def i128.is_le source · line 1753 · raw

@a:i128 -> @b:i128 -> Bool

def i128.is_gt source · line 1756 · raw

@a:i128 -> @b:i128 -> Bool

def i128.is_ge source · line 1759 · raw

@a:i128 -> @b:i128 -> Bool

def i128.from_nat source · line 1762 · raw

@k:Nat -> i128

def i128.is_zero source · line 1765 · raw

@a:i128 -> Bool

def i128.to_nat source · line 1768 · raw

@a:i128 -> Nat

def i128.log2 source · line 1773 · raw

@+a:i128 -> Nat

def i128.min source · line 1778 · raw

@+a:i128 -> @+b:i128 -> i128

def i128.max source · line 1781 · raw

@+a:i128 -> @+b:i128 -> i128

def i128.clamp source · line 1784 · raw

@x:i128 -> @lo:i128 -> @hi:i128 -> i128

def i128.pow source · line 1787 · raw

@+a:i128 -> @k:Nat -> i128

def i128.is_even source · line 1792 · raw

@a:i128 -> Bool

def i128.show source · line 1797 · raw

@+a:i128 -> String

def i128.read.wrap source · line 1802 · raw

@m:Maybe<&2, Word(128n)> -> Maybe<&2, i128>

def i128.read source · line 1809 · raw

@s:String -> Maybe<&2, i128>

def u64.zero source · line 1812 · raw

u64

def u64.from_u32 source · line 1815 · raw

@lo:U32 -> u64

def u64.pack source · line 1818 · raw

@lo:U32 -> @hi:U32 -> u64

def u64.lo source · line 1821 · raw

@+a:u64 -> u32

def u64.hi source · line 1824 · raw

@+a:u64 -> u32

def u64.would_ovf source · line 1827 · raw

@+a:u64 -> @+b:u64 -> Bool

def Pubkey.eq source · line 1834 · raw

@+a:Pubkey -> @+b:Pubkey -> Bool

def Pubkey.zero source · line 1858 · raw

Pubkey

def as_bytes source · line 1865 · raw

@xs:List<&2, U32> -> Slice

def slice source · line 1868 · raw

@s:Slice -> @off:Nat -> @len:Nat -> Slice

def slice_len source · line 1873 · raw

@s:Slice -> U32

def seeds_nil source · line 1882 · raw

Seeds

def key source · line 1896 · raw

@a:Account -> Pubkey

def owner source · line 1901 · raw

@a:Account -> Pubkey

def is_signer source · line 1906 · raw

@a:Account -> Bool

def is_writable source · line 1911 · raw

@a:Account -> Bool

def lamports source · line 1916 · raw

@a:Account -> u64

def data source · line 1921 · raw

@a:Account -> List<&2, U32>

def set_lamports source · line 1926 · raw

@a:Account -> @lams:u64 -> Account

def set_data source · line 1931 · raw

@a:Account -> @bytes:List<&2, U32> -> Account

def empty_account source · line 1936 · raw

Account

def read_i8 source · line 1939 · raw

@m:Maybe<&2, i8> -> Bool

def round_u8 source · line 1946 · raw

@m:Maybe<&2, u8> -> Bool

def round_i8 source · line 1953 · raw

@m:Maybe<&2, i8> -> Bool

def main source · line 1960 · raw

Bool

Unsafe

unsafe W.show.go source · line 253 · raw

@+f:Nat -> @+n:Nat -> @+v:Word(n) -> @acc:String -> String

unsafe W.read.go source · line 298 · raw

@+n:Nat -> @s:String -> @+acc:Word(n) -> Maybe<&2, Word(n)>