Bool

hugr.tys.Bool = Bool

Boolean type (UnitSum of size 2).