[−][src]Constant clingo_sys::clingo_symbol_type_clingo_symbol_type_infimum
pub const clingo_symbol_type_clingo_symbol_type_infimum: clingo_symbol_type
!< the \#inf symbol
pub const clingo_symbol_type_clingo_symbol_type_infimum: clingo_symbol_type
!< the \#inf symbol