Constant clingo_sys::clingo_ast_theory_operator_type_e_clingo_ast_theory_operator_type_unary
source · pub const clingo_ast_theory_operator_type_e_clingo_ast_theory_operator_type_unary: clingo_ast_theory_operator_type_e = 0;
Expand description
!< An unary theory operator.