DomainP
DomainP[patt]⟹outputPattern
generates a pattern that matches {min:patt,max:patt} while also enforcing that min<max.
Details
Input
Output
DomainP[patt]⟹outputPattern
generates a pattern that matches {min:patt,max:patt} while also enforcing that min<max.