[Question][Hw5] The type of keys in memory

[ee12ha0220]

What is the type of keys in memory?

[RiceBiscuits]

You can find the type of the key in the definition of the memory.

316 module Memory (Value : VALUE_DOMAIN) :
317   MEMORY_DOMAIN with type Value.t = Value.t = struct
318   module M = Map.Make (Variable)
319   module Value = Value

[ee12ha0220]

Thanks a lot!