unitSeq function

UnitSeq unitSeq(
  1. Sort sort
)

Implementation

UnitSeq unitSeq(Sort sort) => UnitSeq(sort).declare();