Everything the registry knows about one option, plus its current value in the Options object that produced it.
STP
The Simple Theorem Prover