Constant clingo_sys::clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_body
source · pub const clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_body: clingo_ast_theory_atom_definition_type_e = 1;Expand description
!< For theory atoms that can appear in the body.