Type Definition clingo_show_type
clingo_sys
type clingo_show_type = u32;
Enumeration of bit flags to select symbols in models.