open-policy-agent - OPAルール本体の代入(=)演算子と等価(==)演算子の違いは何ですか?

Question

OPA ドキュメントhttps://www.openpolicyagent.org/docs/latest/policy-testing/には、以下のようなポリシー定義があります。

allow {
    input.path == ["users"]
    input.method == "POST"
}

allow {
    some profile_id
    input.path = ["users", profile_id]
    input.method == "GET"
    profile_id == input.user_id
}

ここで最初のルールではinput.path == ["users"] ですが、2 番目のルールではinput.path = ["users", profile_id]です。それで、誰かがこれら2つの違いを指摘するのを手伝ってくれますか?