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