Clang_ast_visit (infer.ATDGenerated.Clang_ast

type visit_decl_t =
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.decl ->
  unit

type visit_stmt_t =
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.stmt ->
  unit

type visit_type_t =
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.c_type ->
  unit

type visit_src_loc_t =
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.source_location ->
  unit

val empty_visitor : 'a -> 'b -> unit

val decl_visitor : visit_decl_t Stdlib.ref

val stmt_visitor : visit_stmt_t Stdlib.ref

val type_visitor : visit_type_t Stdlib.ref

val source_location_visitor : visit_src_loc_t Stdlib.ref

val visit_decl : 
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.decl ->
  'a option

val visit_stmt : 
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.stmt ->
  'a option

val visit_type : 
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.c_type ->
  'a option

val visit_source_loc : 
  Atdgen_runtime.Util.Validation.path ->
  Clang_ast_t.source_location ->
  'a option