type Smaller

bend-lint-rules@0.2.0.0 · language/decreasing_call.bend:21

import Base

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