Skip to main content

encode_halt

arora_behavior::interpreter_module

Function encode_halt 

Source 
pub fn encode_halt(task: TaskId) -> Call
Expand description

Build the Call that halts the run named by task.