Type Definition clingo_sys::clingo_theory_atoms_t

type clingo_theory_atoms_t = clingo_theory_atoms;

Container that stores theory atoms, elements, and terms (see @ref clingo_control_theory_atoms()).