Z3Constructor

public class Z3Constructor

Type constructor for a (recursive) datatype.

  • The context this Z3Constructor belongs

    Declaration

    Swift

    public let context: Z3Context