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