KernelTile.read_tail: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_tile.bend as KernelTile
Lines 79-86 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=79&end_line=86

import Base
import stelliferous@0.0.2.0/kernel_block.bend as Block

def read_tail(~State: Type,~Context: Data,~read: State -> Context -> Nat -> State & F32,first: State & F32,context: Context) -> State & Tile8:
  (state,head) = first
  finish_pairs(~State,
    Block.read_pair(~State,~HeadContext<Context>,~Block.Twin<Block.Twin<F32>>,
      ~Block.read_pair(~State,~HeadContext<Context>,~Block.Twin<F32>,
        ~Block.read_pair(~State,~HeadContext<Context>,~F32,
          ~read_with_head(~State,~Context,~read),~1n),~2n),~4n,
      state,HeadContext{head,context},0n))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_block.bend&name=Twin
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_block.bend&name=read_pair
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=HeadContext
  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/kernel_tile.bend&name=finish_pairs
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=read_with_head