[−][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