1\DOC get_props
2
3\TYPE {get_props : model -> (string * term) list}
4
5\SYNOPSIS
6Returns the properties that will be checked for this HolCheck model. Throws an exception if no properties have been set.
7
8\SEEALSO
9holCheckLib.holCheck,
10holCheckLib.set_props.
11
12\ENDDOC