Spidr.Compiler.Xla.Client.ExecutableBuildOptions

For internal spidr use only.

Definitions

data ExecutableBuildOptions : Type

Totality: total
Visibility: public export
Constructor: 

MkExecutableBuildOptions : AnyPtr -> ExecutableBuildOptions

delete : HasIO io => ExecutableBuildOptions -> io ()

Totality: total
Visibility: export

mkExecutableBuildOptions : HasIO io => io ExecutableBuildOptions

Totality: total
Visibility: export