Type Alias clingo_sys::clingo_theory_term_type_e

source · 
pub type clingo_theory_term_type_e = c_uint;
Expand description

! Enumeration of theory term types.