pub const clingo_ast_type_e_clingo_ast_type_theory_function: clingo_ast_type_e = 20;