kdrag.LFP

kdrag.LFP(F, sort=None)

>>> ZSet = smt.SetSort(smt.IntSort())
>>> F = smt.Array("F", ZSet, ZSet)
>>> LFP(F)
Lambda(x!...,
    ForAll(A!...,
            Implies(subset(F[A!...], A!...), A!...[x!...])))