Type Definition clingo_sys::clingo_ast_theory_operator_type_t

type clingo_ast_theory_operator_type_t = c_int;