Defs.decb: def of lawful-fields@0.1.1.0
Import: import lawful-fields@0.1.1.0/defs.bend as Defs
Lines 80-84 of lawful-fields@0.1.1.0/defs.bend: https://jend.leeeet.dev/read.txt?path=lawful-fields@0.1.1.0/defs.bend&start_line=80&end_line=84

import Base

# A decimal number below bound; None otherwise. The laws use bound = 2^32 (what
# fits a U32), written Nat.pow(2n, 32n) in each law: the checker evaluates a
# constant hidden in a definition, and 2^32 in unary is too deep.
def decb(xs: List<&2, U32>, +bound: Nat) -> Maybe<&2, Nat>:
  decb.of(dec(xs), bound)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  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-fields@0.1.1.0/defs.bend&name=dec
  https://jend.leeeet.dev/definition.txt?path=lawful-fields@0.1.1.0/defs.bend&name=decb.of