Type Definition atk::State

type State = u64;