Type Definition clingo_ast_theory_operator_type_t
clingo_sys
type clingo_ast_theory_operator_type_t = c_int;