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.