alt_ergo_trunk.drv 226 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1
import "alt_ergo.drv"
2

3
theory map.Map
4
  syntax type  map "(%1,%2) farray"
5 6 7

  syntax function get "(%1[%2])"
  syntax function set "(%1[%2 <- %3])"
8 9 10 11 12 13 14 15
end

(*
Local Variables:
mode: why
compile-command: "make -C .. bench"
End:
*)