Type Definition rsrl_domains::State

type State<D> = <<D as Domain>::StateSpace as Space>::Value;