[−][src]Type Definition clingo_sys::clingo_literal_t

type clingo_literal_t = i32;

! Signed integer type used for aspif and solver literals.