type Param

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

import Base

17# A parameter: its binder, whether it is erased (it does not count), and its name.
18type Param is Data:
19  Param{binder: U32, erased: Bool, name: String}