emptySeq function

EmptySeq emptySeq(Sort sort)

Creates an empty Seq expression.

Implementation

EmptySeq emptySeq(Sort sort) => EmptySeq(sort).declare();