~/jendhub

def SplitFacts

bendtorch-core@0.1.0.0 · src/tensor/slice_PROOF.bend:656

import bendtorch-core@0.1.0.0/src/tensor/slice_PROOF.bend as SlicePROOF
import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

656def SplitFacts(-A: Array<F32>) -> Type:
657  {Pair.fst(Array<F32> & Array<F32>, Array<F32> & Array<F32>, Elementwise.split((A, empty()))) == (A, empty()) : Array<F32> & Array<F32>} &
658    {Pair.snd(Array<F32> & Array<F32>, Array<F32> & Array<F32>, Elementwise.split((A, empty()))) == (A, empty()) : Array<F32> & Array<F32>}

Uses (8)

Used by (3)