fact: Definition computeHybrid(n i : nat) a : Comp (list B) := b1 <-$ compMap _ (fun _ => (c1 a)) (forNats i); b2 <-$ compMap _ (fun _ => (c2 a)) (forNats (minus n i)); ret (b1 ++ b2).
imports: FCF.FCF FCF.CompFold FCF.RndNat FCF.Hybrid