type Once

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

import Base

17# A binder that can be used once: its number, and its name.
18type Once is Data:
19  Once{binder: U32, name: String}