1\DOC get_init
2
3\TYPE {get_init : model -> term}
4
5\SYNOPSIS
6Returns the term describing the initial states of the HolCheck model. Throws an exception if no initial states have been set.
7
8\SEEALSO
9holCheckLib.holCheck,
10holCheckLib.set_init.
11
12\ENDDOC