[][src]Type Definition libc_interface::uint64_t

type uint64_t = u64;