[isabelle] What Isabelle maps to use to generate usual (ordered) maps

Dear Isabelle users,

I am wondering what is the map theory that I have to use in order to generate
usual ML maps: roughly trees ordered w.r.t. to keys?

By the way, I want to generate Scala code.

Thanks in advance,

Thomas Genet
Campus de Beaulieu, 35042 Rennes cedex, France
Tél: +33 (0) 2 99 84 73 44   E-mail: genet at irisa.fr

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.