Type Definition clingo_ast_theory_atom_definition_type
clingo_sys
type clingo_ast_theory_atom_definition_type = u32;