{
  "builtins": [
    {
      "name": "abs",
      "decl": {
        "args": [
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "all",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "and",
      "decl": {
        "args": [
          {
            "of": {
              "type": "any"
            },
            "type": "set"
          },
          {
            "of": {
              "type": "any"
            },
            "type": "set"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      },
      "infix": "\u0026"
    },
    {
      "name": "any",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "array.concat",
      "decl": {
        "args": [
          {
            "dynamic": {
              "type": "any"
            },
            "type": "array"
          },
          {
            "dynamic": {
              "type": "any"
            },
            "type": "array"
          }
        ],
        "result": {
          "dynamic": {
            "type": "any"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "array.reverse",
      "decl": {
        "args": [
          {
            "dynamic": {
              "type": "any"
            },
            "type": "array"
          }
        ],
        "result": {
          "dynamic": {
            "type": "any"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "array.slice",
      "decl": {
        "args": [
          {
            "dynamic": {
              "type": "any"
            },
            "type": "array"
          },
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "dynamic": {
            "type": "any"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "assign",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": ":="
    },
    {
      "name": "base64.decode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "base64.encode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "base64.is_valid",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "base64url.decode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "base64url.encode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "base64url.encode_no_pad",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "bits.and",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "bits.lsh",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "bits.negate",
      "decl": {
        "args": [
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "bits.or",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "bits.rsh",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "bits.xor",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "cast_array",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "dynamic": {
            "type": "any"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "cast_boolean",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "cast_null",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "null"
        },
        "type": "function"
      }
    },
    {
      "name": "cast_object",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "any"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "cast_set",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "cast_string",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "ceil",
      "decl": {
        "args": [
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "concat",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "of": [
              {
                "dynamic": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "string"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "contains",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "count",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.hmac.equal",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.hmac.md5",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.hmac.sha1",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.hmac.sha256",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.hmac.sha512",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.md5",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.parse_private_keys",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.sha1",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.sha256",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.x509.parse_and_verify_certificates",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "static": [
            {
              "type": "boolean"
            },
            {
              "dynamic": {
                "dynamic": {
                  "key": {
                    "type": "string"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              "type": "array"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.x509.parse_and_verify_certificates_with_options",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "static": [
            {
              "type": "boolean"
            },
            {
              "dynamic": {
                "dynamic": {
                  "key": {
                    "type": "string"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              "type": "array"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.x509.parse_certificate_request",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.x509.parse_certificates",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.x509.parse_keypair",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "crypto.x509.parse_rsa_private_key",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "div",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      },
      "infix": "/"
    },
    {
      "name": "endswith",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "eq",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "="
    },
    {
      "name": "equal",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "=="
    },
    {
      "name": "floor",
      "decl": {
        "args": [
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "format_int",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "glob.match",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "of": [
              {
                "type": "null"
              },
              {
                "dynamic": {
                  "type": "string"
                },
                "type": "array"
              }
            ],
            "type": "any"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "glob.quote_meta",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "graph.reachable",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "of": [
                  {
                    "dynamic": {
                      "type": "any"
                    },
                    "type": "array"
                  },
                  {
                    "of": {
                      "type": "any"
                    },
                    "type": "set"
                  }
                ],
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "graph.reachable_paths",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "of": [
                  {
                    "dynamic": {
                      "type": "any"
                    },
                    "type": "array"
                  },
                  {
                    "of": {
                      "type": "any"
                    },
                    "type": "set"
                  }
                ],
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "of": {
            "dynamic": {
              "type": "any"
            },
            "type": "array"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "graphql.is_valid",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "graphql.parse",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            },
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "graphql.parse_and_verify",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "type": "boolean"
            },
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            },
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "graphql.parse_query",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "any"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "graphql.parse_schema",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "any"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "graphql.schema_is_valid",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "gt",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "\u003e"
    },
    {
      "name": "gte",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "\u003e="
    },
    {
      "name": "hex.decode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "hex.encode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "http.send",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "any"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "indexof",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "indexof_n",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "type": "number"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "internal.member_2",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "in"
    },
    {
      "name": "internal.member_3",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "in"
    },
    {
      "name": "internal.print",
      "decl": {
        "args": [
          {
            "dynamic": {
              "of": {
                "type": "any"
              },
              "type": "set"
            },
            "type": "array"
          }
        ],
        "type": "function"
      }
    },
    {
      "name": "intersection",
      "decl": {
        "args": [
          {
            "of": {
              "of": {
                "type": "any"
              },
              "type": "set"
            },
            "type": "set"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.decode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "static": [
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            },
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            },
            {
              "type": "string"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.decode_verify",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "static": [
            {
              "type": "boolean"
            },
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            },
            {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            }
          ],
          "type": "array"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "io.jwt.encode_sign",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "io.jwt.encode_sign_raw",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "io.jwt.verify_es256",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_es384",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_es512",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_hs256",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_hs384",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_hs512",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_ps256",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_ps384",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_ps512",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_rs256",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_rs384",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "io.jwt.verify_rs512",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_array",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_boolean",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_null",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_number",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_object",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_set",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "is_string",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "json.filter",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "of": [
              {
                "dynamic": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "json.is_valid",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "json.marshal",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "json.marshal_with_options",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "static": [
              {
                "key": "indent",
                "value": {
                  "type": "string"
                }
              },
              {
                "key": "prefix",
                "value": {
                  "type": "string"
                }
              },
              {
                "key": "pretty",
                "value": {
                  "type": "boolean"
                }
              }
            ],
            "type": "object"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "json.match_schema",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "type": "boolean"
            },
            {
              "dynamic": {
                "static": [
                  {
                    "key": "desc",
                    "value": {
                      "type": "string"
                    }
                  },
                  {
                    "key": "error",
                    "value": {
                      "type": "string"
                    }
                  },
                  {
                    "key": "field",
                    "value": {
                      "type": "string"
                    }
                  },
                  {
                    "key": "type",
                    "value": {
                      "type": "string"
                    }
                  }
                ],
                "type": "object"
              },
              "type": "array"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "json.patch",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "dynamic": {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "static": [
                {
                  "key": "op",
                  "value": {
                    "type": "string"
                  }
                },
                {
                  "key": "path",
                  "value": {
                    "type": "any"
                  }
                }
              ],
              "type": "object"
            },
            "type": "array"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "json.remove",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "of": [
              {
                "dynamic": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "json.unmarshal",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "json.verify_schema",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "type": "boolean"
            },
            {
              "of": [
                {
                  "type": "null"
                },
                {
                  "type": "string"
                }
              ],
              "type": "any"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "lower",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "lt",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "\u003c"
    },
    {
      "name": "lte",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "\u003c="
    },
    {
      "name": "max",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "min",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "minus",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "number"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "number"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "of": [
            {
              "type": "number"
            },
            {
              "of": {
                "type": "any"
              },
              "type": "set"
            }
          ],
          "type": "any"
        },
        "type": "function"
      },
      "infix": "-"
    },
    {
      "name": "mul",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      },
      "infix": "*"
    },
    {
      "name": "neq",
      "decl": {
        "args": [
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      },
      "infix": "!="
    },
    {
      "name": "net.cidr_contains",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "net.cidr_contains_matches",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "string"
                  },
                  "value": {
                    "of": [
                      {
                        "type": "string"
                      },
                      {
                        "dynamic": {
                          "type": "any"
                        },
                        "type": "array"
                      }
                    ],
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "string"
                  },
                  "value": {
                    "of": [
                      {
                        "type": "string"
                      },
                      {
                        "dynamic": {
                          "type": "any"
                        },
                        "type": "array"
                      }
                    ],
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "of": [
                    {
                      "type": "string"
                    },
                    {
                      "dynamic": {
                        "type": "any"
                      },
                      "type": "array"
                    }
                  ],
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "of": {
            "static": [
              {
                "type": "any"
              },
              {
                "type": "any"
              }
            ],
            "type": "array"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "net.cidr_expand",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "of": {
            "type": "string"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "net.cidr_intersects",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "net.cidr_is_valid",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "net.cidr_merge",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "of": [
                    {
                      "type": "string"
                    }
                  ],
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "string"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "of": {
            "type": "string"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "net.cidr_overlap",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "net.lookup_ip_addr",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "of": {
            "type": "string"
          },
          "type": "set"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "numbers.range",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "dynamic": {
            "type": "number"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "numbers.range_step",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "dynamic": {
            "type": "number"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "object.filter",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "object.get",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "type": "any"
          },
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "object.keys",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "object.remove",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "object.subset",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "dynamic": {
                  "key": {
                    "type": "any"
                  },
                  "value": {
                    "type": "any"
                  }
                },
                "type": "object"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "object.union",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "dynamic": {
              "key": {
                "type": "any"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "object.union_n",
      "decl": {
        "args": [
          {
            "dynamic": {
              "dynamic": {
                "key": {
                  "type": "any"
                },
                "value": {
                  "type": "any"
                }
              },
              "type": "object"
            },
            "type": "array"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "opa.runtime",
      "decl": {
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "or",
      "decl": {
        "args": [
          {
            "of": {
              "type": "any"
            },
            "type": "set"
          },
          {
            "of": {
              "type": "any"
            },
            "type": "set"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      },
      "infix": "|"
    },
    {
      "name": "plus",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      },
      "infix": "+"
    },
    {
      "name": "print",
      "decl": {
        "type": "function",
        "variadic": {
          "type": "any"
        }
      }
    },
    {
      "name": "product",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "number"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "number"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "providers.aws.sign_req",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "any"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "rand.intn",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "re_match",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.find_all_string_submatch_n",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "dynamic": {
            "dynamic": {
              "type": "string"
            },
            "type": "array"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.find_n",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "dynamic": {
            "type": "string"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.globs_match",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.is_valid",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.match",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.replace",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.split",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "type": "string"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "regex.template_match",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "rego.metadata.chain",
      "decl": {
        "result": {
          "dynamic": {
            "type": "any"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "rego.metadata.rule",
      "decl": {
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    },
    {
      "name": "rego.parse_module",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "rem",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      },
      "infix": "%"
    },
    {
      "name": "replace",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "round",
      "decl": {
        "args": [
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "semver.compare",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "semver.is_valid",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "set_diff",
      "decl": {
        "args": [
          {
            "of": {
              "type": "any"
            },
            "type": "set"
          },
          {
            "of": {
              "type": "any"
            },
            "type": "set"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "sort",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "any"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "any"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "dynamic": {
            "type": "any"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "split",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "type": "string"
          },
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "sprintf",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "dynamic": {
              "type": "any"
            },
            "type": "array"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "startswith",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "strings.any_prefix_match",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "string"
                },
                "type": "set"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "string"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "strings.any_suffix_match",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "string"
                },
                "type": "set"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "string"
              },
              {
                "dynamic": {
                  "type": "string"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "string"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "strings.render_template",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "strings.replace_n",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "type": "string"
              }
            },
            "type": "object"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "strings.reverse",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "substring",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "sum",
      "decl": {
        "args": [
          {
            "of": [
              {
                "dynamic": {
                  "type": "number"
                },
                "type": "array"
              },
              {
                "of": {
                  "type": "number"
                },
                "type": "set"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "time.add_date",
      "decl": {
        "args": [
          {
            "type": "number"
          },
          {
            "type": "number"
          },
          {
            "type": "number"
          },
          {
            "type": "number"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "time.clock",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "number"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "type": "number"
            },
            {
              "type": "number"
            },
            {
              "type": "number"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "time.date",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "number"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "type": "number"
            },
            {
              "type": "number"
            },
            {
              "type": "number"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "time.diff",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "number"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              }
            ],
            "type": "any"
          },
          {
            "of": [
              {
                "type": "number"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "type": "number"
            },
            {
              "type": "number"
            },
            {
              "type": "number"
            },
            {
              "type": "number"
            },
            {
              "type": "number"
            },
            {
              "type": "number"
            }
          ],
          "type": "array"
        },
        "type": "function"
      }
    },
    {
      "name": "time.format",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "number"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "time.now_ns",
      "decl": {
        "result": {
          "type": "number"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "time.parse_duration_ns",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "time.parse_ns",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "time.parse_rfc3339_ns",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "time.weekday",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "number"
              },
              {
                "static": [
                  {
                    "type": "number"
                  },
                  {
                    "type": "string"
                  }
                ],
                "type": "array"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "to_number",
      "decl": {
        "args": [
          {
            "of": [
              {
                "type": "null"
              },
              {
                "type": "boolean"
              },
              {
                "type": "number"
              },
              {
                "type": "string"
              }
            ],
            "type": "any"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "trace",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "trim",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "trim_left",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "trim_prefix",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "trim_right",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "trim_space",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "trim_suffix",
      "decl": {
        "args": [
          {
            "type": "string"
          },
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "type_name",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "union",
      "decl": {
        "args": [
          {
            "of": {
              "of": {
                "type": "any"
              },
              "type": "set"
            },
            "type": "set"
          }
        ],
        "result": {
          "of": {
            "type": "any"
          },
          "type": "set"
        },
        "type": "function"
      }
    },
    {
      "name": "units.parse",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "units.parse_bytes",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "number"
        },
        "type": "function"
      }
    },
    {
      "name": "upper",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "urlquery.decode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "urlquery.decode_object",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "dynamic": {
                "type": "string"
              },
              "type": "array"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "urlquery.encode",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "urlquery.encode_object",
      "decl": {
        "args": [
          {
            "dynamic": {
              "key": {
                "type": "string"
              },
              "value": {
                "of": [
                  {
                    "type": "string"
                  },
                  {
                    "dynamic": {
                      "type": "string"
                    },
                    "type": "array"
                  },
                  {
                    "of": {
                      "type": "string"
                    },
                    "type": "set"
                  }
                ],
                "type": "any"
              }
            },
            "type": "object"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "uuid.parse",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "dynamic": {
            "key": {
              "type": "string"
            },
            "value": {
              "type": "any"
            }
          },
          "type": "object"
        },
        "type": "function"
      }
    },
    {
      "name": "uuid.rfc4122",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      },
      "nondeterministic": true
    },
    {
      "name": "walk",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "static": [
            {
              "dynamic": {
                "type": "any"
              },
              "type": "array"
            },
            {
              "type": "any"
            }
          ],
          "type": "array"
        },
        "type": "function"
      },
      "relation": true
    },
    {
      "name": "yaml.is_valid",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "boolean"
        },
        "type": "function"
      }
    },
    {
      "name": "yaml.marshal",
      "decl": {
        "args": [
          {
            "type": "any"
          }
        ],
        "result": {
          "type": "string"
        },
        "type": "function"
      }
    },
    {
      "name": "yaml.unmarshal",
      "decl": {
        "args": [
          {
            "type": "string"
          }
        ],
        "result": {
          "type": "any"
        },
        "type": "function"
      }
    }
  ],
  "future_keywords": [
    "contains",
    "every",
    "if",
    "in"
  ],
  "wasm_abi_versions": [
    {
      "version": 1,
      "minor_version": 1
    },
    {
      "version": 1,
      "minor_version": 2
    }
  ],
  "features": [
    "rule_head_ref_string_prefixes",
    "rule_head_refs",
    "rego_v1_import"
  ]
}
