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.