pub const clingo_symbol_type_e_clingo_symbol_type_function: clingo_symbol_type_e = 5;
Expand description

!< a numeric symbol, e.g., c, (1, "a"), or f(1,"a")