DecreasingCall.Smaller: type of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/language/decreasing_call.bend as DecreasingCall
Lines 21-23 of bend-lint-rules@0.2.0.0/language/decreasing_call.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/decreasing_call.bend&start_line=21&end_line=23

import Base

# A binder known smaller than the parameter or field `root`: a field a match took apart from it.
type Smaller is Data:
  Smaller{root: U32, field: U32}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32