···655655 | Dx_execute ->
656656 let script = eval_pop_arg ~loc: node.loc |> extract_dx_sequent in
657657 emit_content_node ~loc: node.loc @@ T.Datalog_script [script]
658658+ | Current_tree ->
659659+ let iri = match (Frontmatter.get ()).iri with
660660+ | Some iri -> iri
661661+ | None -> Reporter.fatalf ?loc: node.loc Internal_error "No iri for tree"
662662+ in
663663+ emit_content_node ~loc: node.loc @@ T.Iri iri
664664+658665659666and eval_var ~loc x =
660667 match Env.find_opt x @@ Lex_env.read () with