UNPKG

@tonkite/tlb-parser

Version:

Parse TL-B syntax into TypeScript objects

45 lines (34 loc) 1.21 kB
- case: Simple fields code: | ahme_empty$0 {n:#} {X:Type} {Y:Type} extra:Y = HashmapAugE n X Y; # CellRefs # ========= - case: Cell ref code: ahme_root$1 root:^(HashmapAug n X Y) = HashmapAugE; ## Compare and math ## ================= - case: Math without parens code: | chain_link$_ {n:#} root:^Cell prev:n?^(ProofChain n) = ProofChain (n + 1); - case: Math with parens code: | chain_link$_ {n:#} root:^Cell prev:n?^(ProofChain n) = ProofChain (n + (1 + 1)); - case: Different compare nodes code: | top_block_descr#d5 proof_for:BlockIdExt signatures:(Maybe ^BlockSignatures) len:(## 8) { len >= 1 } { len <= 8 } chain:(ProofChain len) = TopBlockDescr; # Anonymous fields # ================ - case: Anonymous fields without cell ref code: | gas_limits#_ remaining:int64 [ max_limit:int64 cur_limit:int64 credit:int64 ] = VmGasLimits; - case: Anonymous fields with cell ref code: | gas_limits#_ remaining:int64 ^[ max_limit:int64 cur_limit:int64 credit:int64 ] = VmGasLimits; - case: Anonymous fields with named cell ref code: | gas_limits#_ remaining:int64 _:^[ max_limit:int64 cur_limit:int64 credit:int64 ] = VmGasLimits;