def is_flat.next

bend-lint-rules@0.2.0.0 · performance/gpu_fit.bend:113

import Base

113# What is left to check after `t`: its fields, if it is a datatype; nothing more, if it is a number;
114# none (data), else.
115def is_flat.next(
116  number: Bool,
117  +t: String,
118  rest: List<&2, String>,
119  +slots: List<&2, Slot>
120) -> Maybe<&2, List<&2, String>>:
121  match number:
122    case True{}:
123      Some{rest}
124    case False{}:
125      is_flat.expand(is_known(slots, False{}, t), t, rest, slots)