~/jendhub

def len

bolt@1.27.0.0 · src/rules/suspicious/prefix.bend:76

import bolt@1.27.0.0/src/rules/suspicious/prefix.bend as Prefix
import Base

76# the length of a string literal, its text as the lexer keeps it (quotes
77# and escapes as written): each escape one char
78def len(tt: String) -> Nat:
79  len.go(tt, MOpen{})

Uses (4)

Used by (1)