pub type clingo_ast_theory_operator_type_t = c_int;
Expand description

! Corresponding type to ::clingo_ast_theory_operator_type_e.