Z3ConstructorList

public class Z3ConstructorList

List of constructors for a (recursive) datatype.

  • The context this Z3ConstructorList belongs

    Declaration

    Swift

    public let context: Z3Context