kdrag.theories.univ.Int

kdrag.theories.univ.Int(l: int) → QuantifierRef

>>> Int(0)
Lambda(x, is(Int, x))
>>> Int(1)
Lambda(x, And(is(Type0, x), is(Int, type0(x))))