Type Definition clingo_literal_t
clingo_sys
type clingo_literal_t = i32;
Signed integer type used for aspif and solver literals.