Stream: Beginner Questions

Topic: compare id

view this post on Zulip hermann (Apr 29 2022 at 14:26):

I get Response_reference(TTP, B) from server and Store_id(A, B) from user A. how compare Response_reference(TTP, B) and Store_id(A, B) if the identity B returned by the server is equal to the identity B that A has?. I thought about using Response_reference and Store_id as predicate. i using only first order logic

Last updated: Apr 19 2024 at 08:19 UTC