Compiler.Xla.Service.HloProto

For internal spidr use only.

Definitions

data HloModuleProto : Type

Totality: total
Visibility: public export
Constructor: 

MkHloModuleProto : GCAnyPtr -> HloModuleProto

prim__delete : AnyPtr -> PrimIO ()