Constant clingo_sys::clingo_show_type_e_clingo_show_type_theory

source · 
pub const clingo_show_type_e_clingo_show_type_theory: clingo_show_type_e = 16;
Expand description

!< Select symbols added by theory.