TailOb

class discopy.feedback.TailOb(arg, time_step=0)

Bases: Ob

The tail of a non-constant feedback object, interpreted as the stream starting from the second time step.

Example

>>> x = Ob('x', is_constant=False)
>>> assert x.tail == TailOb(x)

Parameters:

• arg (Ob) –

• time_step (int) –