The regular expression of sort sort accepting every sequence.
sort
ReFull reFull(Sort sort) => ReFull(sort).declare();