- P = λ( self ).{i = 5, eq = λ(o).(o.i = self.i)}
C = λ( self ).P( self ) \with {b = true,\Y(P) : τ where τ = μα.{i:int, eq:α→ bool}
eq = λ(o).(o.i = self.i and
o.b = self.b)
}
C = λ( self ).P( self ) \with {b = true,\Y(P) : τ where τ = μα.{i:int, eq:α→ bool}
eq = λ(o).(o.i = self.i and
o.b = self.b)
}