get_name : model -> string option
STRUCTURE
holCheckLib
SYNOPSIS
Returns the name of the HolCheck model, if one has been set.
SEEALSO
holCheck
,
set_name
HOL
Kananaskis-10