Module CScope.Variables
val compute_vars_to_destroy_map : ATDGenerated.Clang_ast_t.stmt -> ATDGenerated.Clang_ast_t.decl list ClangPointers.Map.t
CScope.Variablesval compute_vars_to_destroy_map : ATDGenerated.Clang_ast_t.stmt -> ATDGenerated.Clang_ast_t.decl list ClangPointers.Map.t