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