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