Idris2Doc : TensorType

TensorType

(source)
Reexports
import public Data.Container.Additive
import public Data.Tensor
import public Data.Para