TailOb

Contents

TailOb#

class discopy.feedback.TailOb(arg, time_step=0)[source]#

Bases: Wire

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

Example

>>> x = Wire('x', is_constant=False)
>>> assert x.tail == TailOb(x)
Parameters:
  • arg (Wire)

  • time_step (int)