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 `free` the `CharArray`.

Totality: total
Visibility: export