pub type clingo_ast_theory_atom_definition_type_t = c_int;
Expand description

! Corresponding type to ::clingo_ast_theory_atom_definition_type_e.