1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(Natools.Static_Maps.S_Expressions.Templates.Integers
pure
(test-function T)
(extra-decl "\
type Main_Command is
(Error,
Align,
Align_Center,
Align_Left,
Align_Right,
Base,
Images,
Padding,
Padding_Left,
Padding_Right,
Prefix,
Sign,
Suffix,
|
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(Natools.Static_Maps.S_Expressions.Templates.Integers
pure
(test-function T)
(extra-decl "\
type Main_Command is
(Error,
Align,
Align_Center,
Align_Left,
Align_Right,
Base,
Image_Range,
Images,
Padding,
Padding_Left,
Padding_Right,
Prefix,
Sign,
Suffix,
|
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
(not-found Error)
(nodes
(Align align)
(Align_Center align-center centered)
(Align_Left align-left left-align)
(Align_Right align-right right-align)
(Base base)
(Images image images)
(Padding padding)
(Padding_Left padding-left left-padding)
(Padding_Right padding-right right-padding)
(Prefix prefix)
(Sign sign signs)
(Suffix suffix)
|
>
|
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
(not-found Error)
(nodes
(Align align)
(Align_Center align-center centered)
(Align_Left align-left left-align)
(Align_Right align-right right-align)
(Base base)
(Image_Range image-range)
(Images image images)
(Padding padding)
(Padding_Left padding-left left-padding)
(Padding_Right padding-right right-padding)
(Prefix prefix)
(Sign sign signs)
(Suffix suffix)
|