def is_once

bend-lint-rules@0.2.0.0 · language/unneeded_plus.bend:68

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

68# Whether a binder used `used` times needs no `+`: none or one use.
69def is_once(used: Maybe<&2, Lint.Quantity>) -> Bool:
70  match used:
71    case Some{Lint.Erased{}}:
72      True{}
73    case Some{Lint.Once{}}:
74      True{}
75    case _:
76      False{}