emptySet function

EmptySet emptySet(
  1. Sort sort
)

Implementation

EmptySet emptySet(Sort sort) => EmptySet(sort).declare();