"io.k8s.api.apiserverinternal.v1alpha1.StorageVersion": {
        "description": "Storage version of a specific resource.",
        "properties": {
          "apiVersion": {

      "io.k8s.api.autoscaling.v1.HorizontalPodAutoscaler": {
        "description": "configuration of a horizontal pod autoscaler.",
        "properties": {
          "apiVersion": {

        "properties": {
          "apiVersion": {

        "description": "PodDisruptionBudget is an object to define the max disruption that can be caused to a collection of pods",
        "properties": {
          "apiVersion": {

            "type": "string"
          },
          "apiVersion": {

              ],
              "default": {}
            },
            "type": "array",
            "x-kubernetes-list-type": "atomic"
          },
          "matchPolicy": {

    }
    ```

    `tfl.if` regions are always terminated with "tfl.yield". If "tfl.if"
    defines no values, the "tfl.yield" can be left out, and will be inserted
    implicitly. Otherwise, it must be explicit.
    Also, if "tfl.if" defines one or more values, the 'else' block cannot be
    omitted.

    Example:

    ```mlir
    tfl.if %b  {
      ...
    }

	// executable.
	DF_1_SYMINTPOSE DynFlag1 = 0x00800000
	// Indicates that the executable requires global auditing.
	DF_1_GLOBAUDIT DynFlag1 = 0x01000000
	// Indicates that the object defines, or makes reference to singleton symbols.
	DF_1_SINGLETON DynFlag1 = 0x02000000
	// Indicates that the object is a stub.
	DF_1_STUB DynFlag1 = 0x04000000
	// Indicates that the object is a position-independent executable.

func ServeTLS(l net.Listener, handler Handler, certFile, keyFile string) error {
	srv := &Server{Handler: handler}
	return srv.ServeTLS(l, certFile, keyFile)
}

// A Server defines parameters for running an HTTP server.
// The zero value for Server is a valid configuration.
type Server struct {
	// Addr optionally specifies the TCP address for the server to listen on,

// (op <type> [auxint] {aux} arg0 arg1 ...)
// the type, aux, and auxint fields are optional
// on the matching side
//  - the type, aux, and auxint fields must match if they are specified.
//  - the first occurrence of a variable defines that variable.  Subsequent
//    uses must match (be == to) the first use.
//  - v is defined to be the value matched.
//  - an additional conditional can be provided after the match pattern with "&&".
// on the generated side