pub trait UsesInput { type Input: Input; }
Defines the input type shared across traits of the type. Needed for consistency across HasCorpus/HasSolutions and friends.
Type which will be used throughout this state.