Source file images_020.ml
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
41
let tree = Conan.Tree.Unsafe.node
[(Conan.Tree.Unsafe.elt ?filename:(Some "images")
?line:(Some 2672)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Bitwise_and
8192l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 16L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 8192l))
(`No_space ", DXT5")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "images")
?line:(Some 2671)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.int32 (Conan.Arithmetic.Bitwise_and
8192l) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 16L))
ty
(Conan.Test.numeric Conan.Integer.int32
(Conan.Comparison.equal_to 0l))
(`No_space ", DXT1")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "images")
?line:(Some 2670)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.short (Conan.Arithmetic.Add 0) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 22L))
ty (Conan.Test.always_true) (`No_space " x %u")),
Conan.Tree.Unsafe.leaf);
(Conan.Tree.Unsafe.elt ?filename:(Some "images")
?line:(Some 2669)
(let ty = Conan.Ty.numeric ~unsigned:false ~endian:`BE
Conan.Integer.short (Conan.Arithmetic.Add 0) in
Conan.Tree.Unsafe.rule
~offset:(Conan.Offset.Absolute (Conan.Offset.Value 20L))
ty (Conan.Test.always_true) (`No_space ", %u")),
Conan.Tree.Unsafe.leaf)]