leo_ast::interpreter_value

Macro halt2

Source 
macro_rules! halt2 {
    ($span: expr) => { ... };
    ($span: expr, $($x:tt)*) => { ... };
}