Idris2Doc : Compiler.Xla.HLO.Builder.Lib.Arithmetic

Compiler.Xla.HLO.Builder.Lib.Arithmetic

For internal spidr use only.

Definitions

argMax : (HasIOio, PrimitiveoutputType) =>XlaOp->Nat->ioXlaOp
Totality: total
Visibility: export