Idris2Doc : Compiler.Xla.PJRT.PjrtExecutable

Compiler.Xla.PJRT.PjrtExecutable

For internal spidr use only.

Definitions

dataCompileOptions : Type
Totality: total
Visibility: export
Constructor: 
MkCompileOptions : GCAnyPtr->CompileOptions
mkCompileOptions : HasIOio=>ExecutableBuildOptions->ioCompileOptions
Totality: total
Visibility: export
serializeAsString : HasIOio=>CompileOptions->ioCharArray
  It is up to the caller to deallocate the CharArray.

Totality: total
Visibility: export