def finish_pair

stelliferous@0.0.2.0 · kernel_block.bend:16

import stelliferous@0.0.2.0/kernel_block.bend as KernelBlock

import Base

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

Uses (3)

Used by (2)