Core.Axis: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/shape/core.bend as Core
Lines 205-208 of bendtorch-core@0.1.0.0/src/shape/core.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/shape/core.bend&start_line=205&end_line=208

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat