let libre_tenv c =
  List.concat (List.map (fun (x, t) -> libre_texp t) c);;