pub trait Space { type Element: Clone + Send; fn contains(&self, value: &Self::Element) -> bool; }
A space: a set of values with some added structure.
A space is effectively a runtime-defined type.
Check whether a particular value is contained in the space.