Type Definition nj_core::sys::__uint64_t

type __uint64_t = u64;