Type Definition sophia_sys::uint64_t

type uint64_t = u64;