Z3ConstructorList public class Z3ConstructorList List of constructors for a (recursive) datatype. context The context this Z3ConstructorList belongs Declaration Swift public let context: Z3Context