Type Definition clingo_sys::clingo_symbol_t
[−]
[src]
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.