Type Definition clingo_symbolic_literal_t
clingo_sys
type clingo_symbolic_literal_t = clingo_symbolic_literal;