type Axis

bendtorch-core@0.1.0.0 · src/shape/core.bend:205

import bendtorch-core@0.1.0.0/src/shape/core.bend as Core

import Base

205type Axis<-left: Nat, -right: Nat, -output: Nat> is Data:
206  AxisEqual{left_eq: {output == left : Nat}, right_eq: {output == right : Nat}}
207  AxisLeftOne{one: {1n == left : Nat}, right_eq: {output == right : Nat}}
208  AxisRightOne{left_eq: {output == left : Nat}, one: {1n == right : Nat}}

Uses (1)

Nat

Used by (19)