Types.if_state ->
Types.if_state ->
Types.if_state ->
Types.term list ->
Types.atoms_type list ->
object
  val mutable cond : Types.if_state
  val mutable exists_list : Types.atoms_type list
  val mutable lhs : Types.if_state
  val mutable rhs : Types.if_state
  val mutable var_list : Types.term list
  method get_cond : Types.if_state
  method get_exists_list : Types.atoms_type Types.term_structure list
  method get_lhs : Types.if_state
  method get_rhs : Types.if_state
  method get_var_list : Types.term list
  method set_cond : Types.if_state -> unit
  method set_exists_list : Types.atoms_type list -> unit
  method set_lhs : Types.if_state -> unit
  method set_rhs : Types.if_state -> unit
  method set_var_list : Types.term list -> unit
end