Param.check.allowed: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/param.bend as Param
Lines 45-47 of bolt@1.27.0.0/src/rules/style/param.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/style/param.bend&start_line=45&end_line=47

import Base

# a type parameter or a quantity, which are allowed to be one letter
def check.allowed(+nm: String, +note: String) -> Bool:
  Bool.or(check.upper(nm), check.quant(note))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  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/rules/style/param.bend&name=check.quant
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/style/param.bend&name=check.upper