GpuFit.is_flat.next: def of bend-lint-rules@0.2.0.0
Import: import bend-lint-rules@0.2.0.0/performance/gpu_fit.bend as GpuFit
Lines 113-125 of bend-lint-rules@0.2.0.0/performance/gpu_fit.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&start_line=113&end_line=125

import Base

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

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=is_flat.expand
  https://jend.leeeet.dev/definition.txt?path=bend-lint-rules@0.2.0.0/performance/gpu_fit.bend&name=is_known