[−][src]Constant clingo_sys::clingo_ast_theory_atom_definition_type_clingo_ast_theory_atom_definition_type_directive
pub const clingo_ast_theory_atom_definition_type_clingo_ast_theory_atom_definition_type_directive: clingo_ast_theory_atom_definition_type