def Param.is_erased

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

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

38# Functions
39# =========
40def Param.is_erased(bare: Bool, quantity: Lint.Quantity) -> Bool:
41  match bare quantity:
42    case False{} Lint.Erased{}:
43      True{}
44    case _ _:
45      False{}