Nat

Contents

Nat#

class discopy.rigid.Nat(inside=0, dom=None, cod=None, _scan=True)[source]#

Bases: discopy.monoidal.Nat, Ty

A rigid Nat is a natural number n seen as a rigid type of length n.

Parameters:

  • n (int) – The natural number.

  • inside (int | tuple)

  • dom (C0)

  • cod (C0)

  • _scan (bool)

factory#

alias of Nat

Contents