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
let tree = Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "nasa") ?line:(Some 7)
(let ty = Conan.Ty.search ~compact_whitespaces:false
~optional_blank:false
~lower_case_insensitive:false
~upper_case_insensitive:false `Text ~trim:false
23L ~pattern:"DAFETF NAIF DAF ENCODED" in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.string
(Conan.Comparison.equal_to "DAFETF NAIF DAF ENCODED"))
(`Space "NASA SPICE file (transfer format)")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "nasa") ?line:(Some 6)
(let ty = Conan.Ty.search ~compact_whitespaces:false
~optional_blank:false
~lower_case_insensitive:false
~upper_case_insensitive:false `Text ~trim:false
7L ~pattern:"DAF/SPK" in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 0L))
ty
(Conan.Test.string (Conan.Comparison.equal_to "DAF/SPK"))
(`Space "NASA SPICE file (binary format)")),
Conan.Tree.Unsafe.leaf)]