HeadOb

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

Bases: Ob

The head of a feedback object, interpreted as the first element of a stream followed by the constant stream on the empty type.

Note the object arg: Ob cannot be itself a HeadOb or be delayed.

Parameters:

• arg (Ob) –

• time_step (int) –