[][src]Type Definition clingo_sys::__pid_t

type __pid_t = c_int;