[−][src]Type Definition clingo_sys::clingo_symbol_t
type clingo_symbol_t = u64;
Represents a symbol.
This includes numbers, strings, functions (including constants when arguments are empty and tuples when the name is empty), #inf and #sup.