emptySeq function

EmptySeq emptySeq(
  1. Sort sort
)

Implementation

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