type Holds
import bendtorch-core@0.1.0.0/src/tensor/slice_LAWS.bend as SliceLAWSimport Base
17type Holds<-P: Type> is Data:
18 Holds{-proof: P}
Uses (0)
This definition uses no other definition.
import bendtorch-core@0.1.0.0/src/tensor/slice_LAWS.bend as SliceLAWSimport Base
17type Holds<-P: Type> is Data:
18 Holds{-proof: P}
This definition uses no other definition.