Idris2Doc : Compiler.Xla.Service.HloProto

Compiler.Xla.Service.HloProto

For internal spidr use only.

Definitions

dataHloModuleProto : Type
Totality: total
Visibility: public export
Constructor: 
MkHloModuleProto : GCAnyPtr->HloModuleProto
prim__delete : AnyPtr->PrimIO ()