hedgehog.state
Capture the Input and Output variables from Command existentially.
Input
Output
Command
FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.
(Since version ) see corresponding Javadoc for more information.
Capture the
Input
andOutput
variables fromCommand
existentially.FIXME If we can make the rest of the code play nicely with path-dependent types then we can remove this.