simple_array.mlw 110 Bytes
Newer Older
1 2
theory ModelArray

3
use map.Map
4

Guillaume Melquiond's avatar
Guillaume Melquiond committed
5
goal t1 : forall t: map int int, i: int.
6 7 8
   get (set t 0 42) i = get t i

end