ReSort
public struct ReSort<Element> where Element : SortKind
A meta-sort that is used to represent regular expression sorts.
Is not a SortKind
itself as it is not a concrete type that can specialize
Z3Ast
instances, but used solely to refer to regular expression sorts.
The element is the element of the underlying sequence sort of the regular expression.