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