class virtual node =
  object
    method virtual to_string : string
    (*    method virtual check_type : Types.type_ *)
    (* method virtual eval *)
  end