Merge branch 'smtv2-unparsed-sexp' into 'master'

[why3.git] / tests / test-ghost.mlw

module M

  use map.Map

  let f (x:map int int) : int = x[0]

end