1\DOC get_name
2
3\TYPE {get_name : model -> string option}
4
5\SYNOPSIS
6Returns the name of the HolCheck model, if one has been set.
7
8\SEEALSO
9holCheckLib.holCheck,
10holCheckLib.set_name.
11
12\ENDDOC