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