Z3Constructor public class Z3Constructor Type constructor for a (recursive) datatype. context The context this Z3Constructor belongs Declaration Swift public let context: Z3Context