def facts_lists

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:2998

import Base

2998def facts_lists(-A: Data, -rank: Nat, -axes: List<&2, Nat>, +items: List<&2, A>, length: {List.length(&2, A, items) == rank : Nat}, certificate: Facts<rank, axes>) -> ListFacts<A, rank, axes, items>:
2999  Certified{iv, iselected, irestored, lists, product, fit} = certificate
3000  lists(A, items, length)