[][src]Type Definition clingo_sys::__int64_t

type __int64_t = c_long;