KernelBlock.finish_pair: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_block.bend as KernelBlock
Lines 16-18 of stelliferous@0.0.2.0/kernel_block.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_block.bend&start_line=16&end_line=18

import Base

def finish_pair(~State: Type,~Element: Data,first: Element,result: State & Element) -> State & Twin<Element>:
  (state,second) = result
  (state,Twin{first,second})

Uses (3):
  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