def Terms.valid

bend-kit-migrate@0.3.0.0 · migrate.bend:107

import bend-kit-migrate@0.3.0.0/migrate.bend as Migrate

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

107def Terms.valid(t: Terms) -> Bool:
108  Terms{i, p, +c, pe, s} = t
109  Bytes.Bytes{+len, buf} = p
110  none(Terms.problem(len, c))

Uses (5)

Used by (0)

No other definition uses this definition.