Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package ast_generic
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Map_ASTSource
Source
type visitor_in = {kexpr : ((AST_generic.expr -> AST_generic.expr) * visitor_out) -> AST_generic.expr -> AST_generic.expr;kstmt : ((AST_generic.stmt -> AST_generic.stmt) * visitor_out) -> AST_generic.stmt -> AST_generic.stmt;kinfo : ((AST_generic.tok -> AST_generic.tok) * visitor_out) -> AST_generic.tok -> AST_generic.tok;kidinfo : ((AST_generic.id_info -> AST_generic.id_info) * visitor_out) -> AST_generic.id_info -> AST_generic.id_info;klit : ((AST_generic.literal -> AST_generic.literal) * visitor_out) -> AST_generic.literal -> AST_generic.literal;kargs : ((AST_generic.argument list -> AST_generic.argument list) * visitor_out) -> AST_generic.argument list -> AST_generic.argument list;kname : ((AST_generic.name -> AST_generic.name) * visitor_out) -> AST_generic.name -> AST_generic.name;
}Source
and visitor_out = {vitem : AST_generic.item -> AST_generic.item;vprogram : AST_generic.program -> AST_generic.program;vexpr : AST_generic.expr -> AST_generic.expr;vany : AST_generic.any -> AST_generic.any;
}Source
val mk_fix_token_locations :
(Parse_info.token_location -> Parse_info.token_location) ->
visitor_outMake a visitor that fixes token locations, e.g. when we want to interpret * a sub-AST as an independent program. This is used to implement * metavariable-pattern in Match_rules.satisfies_metavar_pattern_condition.