class hlpsl_transition :name:int -> lhs:hlpsl_state -> rhs:hlpsl_state ->
object
..end
val mutable label : int
val mutable lhs : hlpsl_state
val mutable rhs : hlpsl_state
method set_label : int -> unit
method get_label : int
method get_lhs : hlpsl_state
method set_lhs : hlpsl_state -> unit
method get_rhs : hlpsl_state
method set_rhs : hlpsl_state -> unit