clingo_sys
pub const clingo_ast_statement_type_clingo_ast_statement_type_theory_definition: clingo_ast_statement_type = 12
=
12