[−][src]Constant clingo_sys::clingo_warning_clingo_warning_operation_undefined
pub const clingo_warning_clingo_warning_operation_undefined: clingo_warning
!< undefined arithmetic operation or weight of aggregate