pub trait NonEmptySpace: Space {
    fn some_element(&self) -> Self::Element;
}
Expand description

A space containing at least one element.

Required Methods

An arbitrary deterministic element from the space.

Implementations on Foreign Types

Implementors