[][src]Type Definition clingo_sys::wchar_t

type wchar_t = c_int;