----------------------------------------------------------------------
get_init                                                 (holCheckLib)
----------------------------------------------------------------------
get_init : model -> term

SYNOPSIS
Returns the term describing the initial states of the HolCheck model. Throws an exception if no initial states have been set.

SEEALSO
holCheckLib.holCheck, holCheckLib.set_init.

----------------------------------------------------------------------