Lint.Spec: type of bend-lint-api@0.2.0.0 Import: import bend-lint-api@0.2.0.0/linter/lint.bend as Lint Lines 525-531 of bend-lint-api@0.2.0.0/linter/lint.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/linter/lint.bend&start_line=525&end_line=531 import Base # What an option accepts: a whole number in a range, a flag, text (one of `choices`, unless there are none), or what # one of `specs` accepts. type Spec is Data: NumberOption{min: U32, max: U32} FlagOption{} TextOption{choices: List<&2, String>} AnyOption{specs: List<&2, Spec>} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32