Config.level.of: def of bolt@1.27.0.0 Import: import bolt@1.27.0.0/src/config.bend as Config Lines 291-295 of bolt@1.27.0.0/src/config.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/config.bend&start_line=291&end_line=295 import Base import bolt@1.27.0.0/src/lazy/lazy.bend as Lazy # the rule's own setting, else its group's, else the group's default; an # opt-in rule's own setting, else off def level.of(+sets: List<&2, LevelSet>, +group: String, +rule: String) -> Level: Maybe.default(&2, Level, set_level(sets, rule), Lazy.stop(Level, opt_in(rule), Off{}, _u => Maybe.default(&2, Level, set_level(sets, group), default(group)))) Uses (9): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.default https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=Level https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=LevelSet https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=default https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=opt_in https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/config.bend&name=set_level https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/lazy/lazy.bend&name=stop