1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
(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,
Padding,
Padding_Left,
Padding_Right,
Sign,
Width,
Width_Max,
Width_Min);
type Align_Command is (Unknown_Align, Set_Left, Set_Center, Set_Right);")
(Main_Command
(hash-package Natools.Static_Maps.S_Expressions.Templates.Integers.MC)
(function Main)
(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)
(Padding padding)
(Padding_Left padding-left left-padding)
(Padding_Right padding-right right-padding)
(Sign sign signs)
(Width width)
(Width_Max width-max max-width)
(Width_Min width-min min-width)))
|
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
(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,
Sign,
Width,
Width_Max,
Width_Min);
type Align_Command is (Unknown_Align, Set_Left, Set_Center, Set_Right);")
(Main_Command
(hash-package Natools.Static_Maps.S_Expressions.Templates.Integers.MC)
(function Main)
(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)
(Sign sign signs)
(Width width)
(Width_Max width-max max-width)
(Width_Min width-min min-width)))
|