let rowcons label x y = 
  let intern_label = RowLabel.import label in
    TTerm (RowCons (intern_label, x, y))