def take.inl
emerging-eztoml@0.9.0.0 · main.bend:2662
import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml
import Base
2662
2663def take.inl(
2664 end: End,
2665 rows: List<&2, Val>,
2666 heads: List<&2, String>,
2667 +here: List<&2, String>,
2668 +parts: List<&2, String>,
2669 rest: List<&2, Ctx>,
2670 back: Lex,
2671 qkind: QKind,
2672 uni: U32,
2673 left: U32,
2674 arrtab: Bool,
2675 lead: Bool
2676) -> St:
2677 End{inl, bad, _h} = end
2678 St{bad, rows, heads, here, [], [], LInlC{}, back, qkind,
2679 CInl{inl, parts, here} <> rest, HNone{}, uni, left, arrtab, lead}