]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_transformations/cexpr2pres.ml
let l' =
List.map
(function
- None -> P.Mo [] "_"
+ None -> P.Mo([],"_")
| Some t -> cexpr2pres t
) l
in
let l' =
List.map
(function
- None -> P.Mo [] "_"
+ None -> P.Mo([],"_")
| Some t -> cexpr2pres t
) l
in