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.
pub type clingo_ast_theory_operator_type_e = c_uint;
! Enumeration of theory operators.