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")
pub const clingo_symbol_type_e_clingo_symbol_type_function: clingo_symbol_type_e = 5;
!< a numeric symbol, e.g., c
, (1, "a")
, or f(1,"a")