def pool_finished

stelliferous@0.0.2.0 · tensor_operations.bend:235

import Base
import stelliferous@0.0.2.0/storage_buffer.bend as Storage

235# The input and the output of a pool around its column-swept planes.
236def pool_finished(~Element: Data,input: Storage.Buffer<Element>,result: Outcome<(Storage.Buffer<Element> & Storage.Buffer<Element>)>) ->
237  Outcome<(Storage.Buffer<Element> & Storage.Buffer<Element>)>:
238  match result:
239    case Accepted{(middle,output)}: Accepted{(input,output)}
240    case Rejected{(middle,output)}: Rejected{(input,output)}