def facts

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

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

2975def facts(+rank: Nat, +axes: List<&2, Nat>, bound: Shape.LE(rank, 4n), accepted: {True{} == Axis.valid(rank, axes) : Bool}) -> Facts<rank, axes>:
2976  match rank:
2977    case 0n:
2978      facts_0(axes, accepted)
2979    case 1n+rankp:
2980      match rankp:
2981        case 0n:
2982          facts_1(axes, accepted)
2983        case 1n+rankpp:
2984          match rankpp:
2985            case 0n:
2986              facts_2(axes, accepted)
2987            case 1n+rankppp:
2988              match rankppp:
2989                case 0n:
2990                  facts_3(axes, accepted)
2991                case 1n+rankpppp:
2992                  match rankpppp:
2993                    case 0n:
2994                      facts_4(axes, accepted)
2995                    case 1n+rankppppp:
2996                      match bound: