Frama-C API - Rewrite
type visitor = {exp : Eva_ast_types.exp -> Eva_ast_types.exp;lval : Eva_ast_types.lval -> Eva_ast_types.lval;varinfo : Eva_ast_types.varinfo -> Eva_ast_types.varinfo;offset : Eva_ast_types.offset -> Eva_ast_types.offset;
}type rewriter = {rewrite_exp : visitor:visitor -> Eva_ast_types.exp -> Eva_ast_types.exp;rewrite_lval : visitor:visitor -> Eva_ast_types.lval -> Eva_ast_types.lval;rewrite_varinfo : visitor:visitor -> Eva_ast_types.varinfo -> Eva_ast_types.varinfo;rewrite_offset : visitor:visitor -> Eva_ast_types.offset -> Eva_ast_types.offset;
}val default : rewriterval visit_exp : rewriter -> Eva_ast_types.exp -> Eva_ast_types.expval visit_lval : rewriter -> Eva_ast_types.lval -> Eva_ast_types.lval