[−][src]Constant clingo_sys::clingo_symbol_type_clingo_symbol_type_function
pub const clingo_symbol_type_clingo_symbol_type_function: clingo_symbol_type
!< a numeric symbol, e.g., c
, (1, "a")
, or f(1,"a")