def cr.oct.pieces.i

import bend-osdev-crypto@0.1.0.0/octets.bend as Octets

import Base

69def cr.oct.pieces.i(full: Bool, +i: Nat) -> Nat:
70  match full:
71    case True{}:
72      0n
73    case False{}:
74      i

Uses (2)