unitSeq function

UnitSeq unitSeq(
  1. Sort sort
)

Creates a Seq expression with a single element.

Implementation

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