action id4i_find_users {
  label: "Find users"
  provider: id4i
  method: GET
  path: "/api/v1/users"
  encoding: json
  input: {
    type: "object"
    properties: {
      limit: {
        type: "integer"
        format: "int32"
      }
      offset: {
        type: "integer"
        format: "int32"
      }
      usernamePrefix: {
        type: "string"
      }
    }
    additionalProperties: false
  }
  output: {
    type: "object"
    required: ["elements", "limit", "offset"]
    properties: {
      elements: {
        type: "array"
        items: {
          type: "object"
          properties: {
            id: {
              type: "string"
            }
            name: {
              type: "string"
            }
          }
        }
      }
      limit: {
        type: "integer"
        format: "int32"
        description: "The number of returned elements"
      }
      offset: {
        type: "integer"
        format: "int32"
        description: "Starting with the n-th element"
      }
      total: {
        type: "integer"
        format: "int32"
        description: "The total number of elements"
      }
    }
  }
}