let do_join = fun vtable table constraints -> assert (vtable.vt_db == table.ta_db); (* Physical eq *) (* FIXME: We should check the constraints *) vtable.vt_join <- vtable.vt_join @ [table, constraints]