pub const clingo_warning_e_clingo_warning_runtime_error: clingo_warning_e = 1;
Expand description

!< to report multiple errors; a corresponding runtime error is raised later