def Whole.option

bend-lint-api@0.2.0.0 · linter/lint.bend:1133

import Base
import bend-lint-api@0.2.0.0/shared/names.bend as Names

1133def Whole.option(whole: Whole, name: String) -> Maybe<&2, Value>:
1134  match whole:
1135    case Whole{program, declarations, options}:
1136      Names.lookup(Value, name, options)