{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"Ok(if"}]}
                        Ok(if !$boolean { r } else { bx.zext(r, bx.type_bool()) })
                        let r = bx.$red(input);
                    }