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