Head#

class discopy.feedback.Head(arg, time_step=0, _attr='head')[source]#

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

Head