Cic.Prod (fresh_binder dependent, src,
Cic.Prod (Cic.Anonymous, phi,
delta (uri, typeno, subst) dependent paramsno consno tgt
Cic.Prod (fresh_binder dependent, src,
Cic.Prod (Cic.Anonymous, phi,
delta (uri, typeno, subst) dependent paramsno consno tgt