pub const clingo_warning_e_clingo_warning_file_included: clingo_warning_e = 3;
Expand description
!< same file included multiple times
pub const clingo_warning_e_clingo_warning_file_included: clingo_warning_e = 3;
!< same file included multiple times