Ψ_R : Refine invocation. GP §14. Executes a work-item's refinement code in the PVM without host calls. Returns (result, gas_used).
8.3. Refinement
Refinement transforms a work item into a work result by running the service's refine code in the PVM.
def
Jar.Services.refine [Jar.JamConfig] (serviceCode payload : ByteArray) (gasLimit : Jar.Gas) (imports : Array ByteArray) : Jar.WorkResult × Jar.GasJar.Services.refine [Jar.JamConfig] (serviceCode payload : ByteArray) (gasLimit : Jar.Gas) (imports : Array ByteArray) : Jar.WorkResult × Jar.Gas