KernelTile.view: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_tile.bend as KernelTile
Lines 90-93 of stelliferous@0.0.2.0/kernel_tile.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&start_line=90&end_line=93

import Base
import stelliferous@0.0.2.0/math_sequence.bend as Sequence

def view(tile: Tile8) -> Sequence.Values(F32,8n):
  Tile{a0,a1,a2,a3,a4,a5,a6,a7} = tile
  Sequence.Elements{a0,Sequence.Elements{a1,Sequence.Elements{a2,Sequence.Elements{a3,Sequence.Elements{a4,Sequence.Elements{a5,Sequence.Elements{a6,
          Sequence.Elements{a7,Unit{}}}}}}}}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=Tile8
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/math_sequence.bend&name=Elements
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/math_sequence.bend&name=Values