`type visit_decl_t``= Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.decl ‑> unit```
`type visit_stmt_t``= Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.stmt ‑> unit```
`type visit_type_t``= Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.c_type ‑> unit```
`type visit_src_loc_t``= Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.source_location ‑> unit```
`val empty_visitor : 'a ‑> 'b ‑> unit`
`val decl_visitor : visit_decl_t Pervasives.ref`
`val stmt_visitor : visit_stmt_t Pervasives.ref`
`val type_visitor : visit_type_t Pervasives.ref`
`val source_location_visitor : visit_src_loc_t Pervasives.ref`
`val visit_decl : Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.decl ‑> 'a option`
`val visit_stmt : Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.stmt ‑> 'a option`
`val visit_type : Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.c_type ‑> 'a option`
`val visit_source_loc : Ag_util.Validation.path ‑> InferGenerated.Clang_ast_t.source_location ‑> 'a option`