~/jendhub

def form

bolt@1.27.0.0 · src/rules/suspicious/empty.bend:93

import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty
import Base

93# the length a dotted name takes
94def form(+tt: String) -> Form:
95  Bool.pick(Form, String.eq(tt, "List.length"), FList{}, Bool.pick(Form, String.eq(tt, "String.length"), FStr{}, FNone{}))

Uses (4)

Used by (1)