1\DOC get_state 2 3\TYPE {get_state : model -> term option} 4 5\SYNOPSIS 6Returns the state tuple used internally by HolCheck for this model, if one has been set. 7 8\SEEALSO 9holCheckLib.holCheck, 10holCheckLib.set_state. 11 12 13\ENDDOC