ProofGrow.tnew: def of lawful-bytes@0.1.1.0
Import: import lawful-bytes@0.1.1.0/proof_grow.bend as ProofGrow
Lines 18-24 of lawful-bytes@0.1.1.0/proof_grow.bend: https://jend.leeeet.dev/read.txt?path=lawful-bytes@0.1.1.0/proof_grow.bend&start_line=18&end_line=24

import Base
import lawful-arrays@0.1.0.0/proof_tree.bend as P

# A new block as a tree.
def tnew(+d: Nat, +v: U32) -> P.Tree<U32>:
  match d:
    case 0n:
      P.TLeaf{v}
    case 1n+p:
      P.TNode{tnew(p, v), tnew(p, v)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=lawful-arrays@0.1.0.0/proof_tree.bend&name=Tree