1\DOC get_trans 2 3\TYPE {get_trans : model -> (string * term) list} 4 5\SYNOPSIS 6Returns a description of the transition system of the HolCheck model. Throws an exception if no transition system has been set. 7 8\SEEALSO 9holCheckLib.holCheck, 10holCheckLib.set_trans 11holCheckLib.get_flag_ric. 12 13\ENDDOC