Constant clingo_sys::clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_head
source · pub const clingo_ast_theory_atom_definition_type_e_clingo_ast_theory_atom_definition_type_head: clingo_ast_theory_atom_definition_type_e = 0;Expand description
!< For theory atoms that can appear in the head.