Type Alias clingo_sys::clingo_ast_theory_operator_type_e

source · 
pub type clingo_ast_theory_operator_type_e = c_uint;
Expand description

! Enumeration of theory operators.