Type Definition hypermachines::Seq

type Seq = u64;