object ('a)
  method clone : 'a
  method node : 'b
  method set_node : '-> unit
end