import { type Uint64 } from ".";