get_state : model -> term option
STRUCTURE
holCheckLib
SYNOPSIS
Returns the state tuple used internally by HolCheck for this model, if one has been set.
SEEALSO
holCheck
,
set_state
HOL
Kananaskis-10