fact: Definition indicator_rel (A : Set)(P : A -> bool) a (r : Rat) := (P a = true /\ r == 1) \/ (P a = false /\ r == 0).
imports: FCF.Comp FCF.DetSem FCF.DistSem FCF.Rat Arith FCF.StdNat FCF.Fold FCF.Limit Permutation ZifyNat