1 Commits

Author	SHA1	Message	Date
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