Type Definition clingo_model_type
clingo_sys
type clingo_model_type = u32;
! Enumeration for the different model types.