get_init : model -> term
STRUCTURE
holCheckLib
SYNOPSIS
Returns the term describing the initial states of the HolCheck model. Throws an exception if no initial states have been set.
SEEALSO
holCheck
,
set_init
HOL
Kananaskis-10