(match d.Con.dec_name with
Some s ->
C.Lambda (C.Name s, term2cic d.Con.dec_type, target)
| None ->
C.Lambda (C.Anonymous, term2cic d.Con.dec_type, target))
(match d.Con.dec_name with
Some s ->
C.Lambda (C.Name s, term2cic d.Con.dec_type, target)
| None ->
C.Lambda (C.Anonymous, term2cic d.Con.dec_type, target))