]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_transformations/cexpr2pres.ml
let l' =
List.map
(function
let l' =
List.map
(function
| Some t -> cexpr2pres t
) l
in
| Some t -> cexpr2pres t
) l
in
let l' =
List.map
(function
let l' =
List.map
(function
| Some t -> cexpr2pres t
) l
in
| Some t -> cexpr2pres t
) l
in