Type Alias clingo_sys::clingo_ast_theory_atom_definition_type_e

source · 
pub type clingo_ast_theory_atom_definition_type_e = c_uint;
Expand description

! Enumeration of the theory atom types.