Param.check.quant: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/style/param.bend as Param
Lines 26-31 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=26&end_line=31

import Base
import bolt@1.27.0.0/src/rules/tokens.bend as T

# no type, or `: Quant`: a quantity parameter (`a` in `List<a, A>`). The
# note is read with its string literals cut to their quote: a `:` inside a
# string is no type
def check.quant(+note: String) -> Bool:
  +cn = T.code(note)
  Bool.or(Bool.not(String.contains(cn, ":")), String.ends_with(cn, ": Quant"))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=Base/base.bend&name=String.contains
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.ends_with
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/tokens.bend&name=code