Result of running the kernel.
Constructors
halt (value : Nat) : KernelResult
panic : KernelResult
outOfGas : KernelResult
pageFault (addr : Nat) : KernelResult
protocolCall (slot : Nat) : KernelResult
11.2. Kernel Results
When the kernel needs host interaction or the root VM terminates, it returns
a KernelResult to the caller.
inductive type
Jar.JAVM.Kernel.KernelResult : TypeJar.JAVM.Kernel.KernelResult : Type