type Verdict

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

import Base

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