Type Alias clingo_sys::clingo_theory_atoms_t

pub type clingo_theory_atoms_t = clingo_theory_atoms;

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

Aliased Type

struct clingo_theory_atoms_t { /* private fields */ }