xref
: /
dports
/
math
/
gap
/
gap-4.11.0
/
pkg
/
guava-3.15
/
src
/
leon
/
src
/
generate.h
Home
History
Annotate
Line#
Scopes#
Navigate#
Raw
Download
current directory
1
#
ifndef
GENERATE
2
#
define
GENERATE
3
4
extern
int
main
(
int
argc
,
char
*
argv
[])
5
;
6
7
#
endif
8