ReusedBinder.Once: type of bend-lint-rules@0.2.0.0 Import: import bend-lint-rules@0.2.0.0/language/reused_binder.bend as ReusedBinder Lines 17-19 of bend-lint-rules@0.2.0.0/language/reused_binder.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/language/reused_binder.bend&start_line=17&end_line=19 import Base # A binder that can be used once: its number, and its name. type Once is Data: Once{binder: U32, name: String} Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32