ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
why3/examples/set_iterators
History
MARCHE Claude 997bdc53c1 add simple examples of iterators on sets with extraction to OCaml 
The stdlib is augmented with iterator mechanisms

The OCaml extraction driver is augmented accordingly, using OCaml Seq
2025-03-26 17:20:01 +01:00
..
main.ml
add simple examples of iterators on sets with extraction to OCaml
2025-03-26 17:20:01 +01:00
Makefile
add simple examples of iterators on sets with extraction to OCaml
2025-03-26 17:20:01 +01:00
why3session.xml
add simple examples of iterators on sets with extraction to OCaml
2025-03-26 17:20:01 +01:00
why3shapes.gz
add simple examples of iterators on sets with extraction to OCaml
2025-03-26 17:20:01 +01:00