Regular expressions as set-theoretic types in Ballerina

Given their widespread use, I shall assume readers are already familiar with regular expressions (basic knowledge of regular expression…