type Impossible
import bendtorch-core@0.1.0.0/src/tensor/math_totality.bend as MathTotalityimport Base
27type Impossible is Data:
28 Impossible{-empty: Empty}
import bendtorch-core@0.1.0.0/src/tensor/math_totality.bend as MathTotalityimport Base
27type Impossible is Data:
28 Impossible{-empty: Empty}