5 lines
106 B
Text
5 lines
106 B
Text
(library
|
|
(name iterator)
|
|
(wrapped false)
|
|
(libraries libs zarith menhirLib apron frontend domains))
|
|
|