def step.law

bolt@1.27.0.0 · src/syntax/outline.bend:417

import Base

417# a law header, pending the block under it
418def step.law(+ss: String, +nn: U32, doc: String, mode: Mode, out: List<&2, Item>) -> St:
419  St{Pending{ILaw{}, name(String.drop(ss, 4n)), nn, doc, [ss]}, (nn + 1 : U32), [], flush(mode, out)}