Type Definition btor2tools_sys::size_t

type size_t = c_ulong;