package smtml

star t constructs the Kleene star of the regular expression term t.

plus t constructs the Kleene plus of the regular expression term t.

opt t constructs the optional regular expression term t.

comp t constructs the complement of the regular expression term t.

range t1 t2 constructs a regular expression term matching characters in the range from t1 to t2.

loop t min max constructs a regular expression term matching t repeated between min and max times.

union ts constructs the union of a list of regular expression terms ts.

concat ts constructs the concatenation of a list of regular expression terms ts.