AStat/iterator/dune

6 lines
106 B
Text
Raw Permalink Normal View History

2024-05-29 11:47:47 +02:00
(library
(name iterator)
(wrapped false)
(libraries libs zarith menhirLib apron frontend domains))