DecreasingCall.Verdict: 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 25-31 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=25&end_line=31

import Base

# What the arguments of a call say: it decreases; it does not, at the argument numbered `at` (from 0)
# for the parameter `param`, or with every argument unchanged; or the rule cannot tell.
type Verdict is Data:
  Decreases{}
  Fails{at: Nat, param: String}
  Unchanged{}
  Unknown{}

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