1\DOC get_init
23\TYPE {get_init : model -> term}
45\SYNOPSIS
6Returns the term describing the initial states of the HolCheck model. Throws an exception if no initial states have been set.
78\SEEALSO
9holCheckLib.holCheck,
10holCheckLib.set_init.1112\ENDDOC