let con =
List.fold_left
(fun t (name,ty) -> Cic.Prod (Cic.Name name,ty,t))
concl fields' in
let con' = add_params con in
let tyl = [name,true,ty',["mk_" ^ name,con']] in
let con =
List.fold_left
(fun t (name,ty) -> Cic.Prod (Cic.Name name,ty,t))
concl fields' in
let con' = add_params con in
let tyl = [name,true,ty',["mk_" ^ name,con']] in