Next
Up
Prev
Home
This
[felix_stdcat.ipk]
6.12.3.1.4. Category with one arrow
class cat_one(cat_monoid): def __init__(self, unit): cat_monoid.__init__(self, unit) def is_arrow(self, arrow): return arrow == self.unit
Next
Up
Prev
Home
This
[felix_stdcat.ipk]