Idris2Doc : Constants

Constants

Definitions

pi : Tensor [] F64
Totality: total
Visibility: export