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