reEmpty function

ReEmpty reEmpty(
  1. Sort sort
)

The regular expression of sort sort rejecting every sequence.

Implementation

ReEmpty reEmpty(Sort sort) => ReEmpty(sort).declare();