hedgehog.state
Insert a symbolic variable in to a map of variables to types.
(Since version ) see corresponding Javadoc for more information.