Source file libzstd__c_generated_functions__Function_description__Functions.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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
module CI = Cstubs_internals

external libzstd_stubs_1_ZSTD_versionNumber : unit -> int
  = "libzstd_stubs_1_ZSTD_versionNumber" 

external libzstd_stubs_2_ZSTD_compressBound
  : Unsigned.size_t -> Unsigned.size_t = "libzstd_stubs_2_ZSTD_compressBound" 

external libzstd_stubs_3_ZSTD_getErrorName : Unsigned.size_t -> CI.voidp
  = "libzstd_stubs_3_ZSTD_getErrorName" 

external libzstd_stubs_4_ZSTD_isError : Unsigned.size_t -> bool
  = "libzstd_stubs_4_ZSTD_isError" 

external libzstd_stubs_5_ZSTD_getFrameContentSize
  : _ CI.fatptr -> Unsigned.size_t -> Unsigned.ullong
  = "libzstd_stubs_5_ZSTD_getFrameContentSize" 

external libzstd_stubs_6_ZSTD_compress
  : _ CI.fatptr -> Unsigned.size_t -> _ CI.fatptr -> Unsigned.size_t ->
    int -> Unsigned.size_t = "libzstd_stubs_6_ZSTD_compress" 

external libzstd_stubs_7_ZSTD_decompress
  : _ CI.fatptr -> Unsigned.size_t -> _ CI.fatptr -> Unsigned.size_t ->
    Unsigned.size_t = "libzstd_stubs_7_ZSTD_decompress" 

external libzstd_stubs_8_ZSTD_createCCtx : unit -> CI.voidp
  = "libzstd_stubs_8_ZSTD_createCCtx" 

external libzstd_stubs_9_ZSTD_freeCCtx : _ CI.fatptr -> Unsigned.size_t
  = "libzstd_stubs_9_ZSTD_freeCCtx" 

external libzstd_stubs_10_ZSTD_compressCCtx
  : _ CI.fatptr -> _ CI.fatptr -> Unsigned.size_t -> _ CI.fatptr ->
    Unsigned.size_t -> int -> Unsigned.size_t
  =
  "libzstd_stubs_10_ZSTD_compressCCtx_byte6" "libzstd_stubs_10_ZSTD_compressCCtx"
  

external libzstd_stubs_11_ZSTD_createDCtx : unit -> CI.voidp
  = "libzstd_stubs_11_ZSTD_createDCtx" 

external libzstd_stubs_12_ZSTD_freeDCtx : _ CI.fatptr -> Unsigned.size_t
  = "libzstd_stubs_12_ZSTD_freeDCtx" 

external libzstd_stubs_13_ZSTD_decompressDCtx
  : _ CI.fatptr -> _ CI.fatptr -> Unsigned.size_t -> _ CI.fatptr ->
    Unsigned.size_t -> Unsigned.size_t
  = "libzstd_stubs_13_ZSTD_decompressDCtx" 

external libzstd_stubs_14_ZSTD_compress_usingDict
  : _ CI.fatptr -> _ CI.fatptr -> Unsigned.size_t -> _ CI.fatptr ->
    Unsigned.size_t -> _ CI.fatptr -> Unsigned.size_t -> int ->
    Unsigned.size_t
  =
  "libzstd_stubs_14_ZSTD_compress_usingDict_byte8" "libzstd_stubs_14_ZSTD_compress_usingDict"
  

external libzstd_stubs_15_ZSTD_decompress_usingDict
  : _ CI.fatptr -> _ CI.fatptr -> Unsigned.size_t -> _ CI.fatptr ->
    Unsigned.size_t -> _ CI.fatptr -> Unsigned.size_t -> Unsigned.size_t
  =
  "libzstd_stubs_15_ZSTD_decompress_usingDict_byte7" "libzstd_stubs_15_ZSTD_decompress_usingDict"
  

type 'a result = 'a
type 'a return = 'a
type 'a fn =
 | Returns  : 'a CI.typ   -> 'a return fn
 | Function : 'a CI.typ * 'b fn  -> ('a -> 'b) fn
let map_result f x = f x
let returning t = Returns t
let (@->) f p = Function (f, p)
let foreign : type a b. string -> (a -> b) fn -> (a -> b) =
  fun name t -> match t, name with
| Function
    (CI.Pointer _,
     Function
       (CI.Pointer _,
        Function
          (CI.Primitive CI.Size_t,
           Function
             (CI.View {CI.ty = CI.Pointer _; write = x7; _},
              Function
                (CI.Primitive CI.Size_t,
                 Function
                   (CI.View {CI.ty = CI.Pointer _; write = x12; _},
                    Function
                      (CI.Primitive CI.Size_t,
                       Returns (CI.Primitive CI.Size_t)))))))),
  "ZSTD_decompress_usingDict" ->
  (fun x1 x3 x5 x6 x10 x11 x15 ->
    let CI.CPointer x14 = x12 x11 in
    let CI.CPointer x9 = x7 x6 in
    let CI.CPointer x4 = x3 in
    let CI.CPointer x2 = x1 in
    let x8 = x9 in
    let x13 = x14 in
    libzstd_stubs_15_ZSTD_decompress_usingDict x2 x4 x5 x8 x10 x13 x15)
| Function
    (CI.Pointer _,
     Function
       (CI.Pointer _,
        Function
          (CI.Primitive CI.Size_t,
           Function
             (CI.View {CI.ty = CI.Pointer _; write = x22; _},
              Function
                (CI.Primitive CI.Size_t,
                 Function
                   (CI.View {CI.ty = CI.Pointer _; write = x27; _},
                    Function
                      (CI.Primitive CI.Size_t,
                       Function
                         (CI.Primitive CI.Int,
                          Returns (CI.Primitive CI.Size_t))))))))),
  "ZSTD_compress_usingDict" ->
  (fun x16 x18 x20 x21 x25 x26 x30 x31 ->
    let CI.CPointer x29 = x27 x26 in
    let CI.CPointer x24 = x22 x21 in
    let CI.CPointer x19 = x18 in
    let CI.CPointer x17 = x16 in
    let x23 = x24 in
    let x28 = x29 in
    libzstd_stubs_14_ZSTD_compress_usingDict x17 x19 x20 x23 x25 x28 x30 x31)
| Function
    (CI.Pointer _,
     Function
       (CI.Pointer _,
        Function
          (CI.Primitive CI.Size_t,
           Function
             (CI.View {CI.ty = CI.Pointer _; write = x38; _},
              Function
                (CI.Primitive CI.Size_t, Returns (CI.Primitive CI.Size_t)))))),
  "ZSTD_decompressDCtx" ->
  (fun x32 x34 x36 x37 x41 ->
    let CI.CPointer x40 = x38 x37 in
    let CI.CPointer x35 = x34 in
    let CI.CPointer x33 = x32 in
    let x39 = x40 in libzstd_stubs_13_ZSTD_decompressDCtx x33 x35 x36 x39 x41)
| Function (CI.Pointer _, Returns (CI.Primitive CI.Size_t)), "ZSTD_freeDCtx" ->
  (fun x42 ->
    let CI.CPointer x43 = x42 in libzstd_stubs_12_ZSTD_freeDCtx x43)
| Function (CI.Void, Returns (CI.Pointer x45)), "ZSTD_createDCtx" ->
  (fun x44 -> CI.make_ptr x45 (libzstd_stubs_11_ZSTD_createDCtx x44))
| Function
    (CI.Pointer _,
     Function
       (CI.Pointer _,
        Function
          (CI.Primitive CI.Size_t,
           Function
             (CI.View {CI.ty = CI.Pointer _; write = x52; _},
              Function
                (CI.Primitive CI.Size_t,
                 Function
                   (CI.Primitive CI.Int, Returns (CI.Primitive CI.Size_t))))))),
  "ZSTD_compressCCtx" ->
  (fun x46 x48 x50 x51 x55 x56 ->
    let CI.CPointer x54 = x52 x51 in
    let CI.CPointer x49 = x48 in
    let CI.CPointer x47 = x46 in
    let x53 = x54 in
    libzstd_stubs_10_ZSTD_compressCCtx x47 x49 x50 x53 x55 x56)
| Function (CI.Pointer _, Returns (CI.Primitive CI.Size_t)), "ZSTD_freeCCtx" ->
  (fun x57 -> let CI.CPointer x58 = x57 in libzstd_stubs_9_ZSTD_freeCCtx x58)
| Function (CI.Void, Returns (CI.Pointer x60)), "ZSTD_createCCtx" ->
  (fun x59 -> CI.make_ptr x60 (libzstd_stubs_8_ZSTD_createCCtx x59))
| Function
    (CI.Pointer _,
     Function
       (CI.Primitive CI.Size_t,
        Function
          (CI.View {CI.ty = CI.Pointer _; write = x65; _},
           Function
             (CI.Primitive CI.Size_t, Returns (CI.Primitive CI.Size_t))))),
  "ZSTD_decompress" ->
  (fun x61 x63 x64 x68 ->
    let CI.CPointer x67 = x65 x64 in
    let CI.CPointer x62 = x61 in
    let x66 = x67 in libzstd_stubs_7_ZSTD_decompress x62 x63 x66 x68)
| Function
    (CI.Pointer _,
     Function
       (CI.Primitive CI.Size_t,
        Function
          (CI.View {CI.ty = CI.Pointer _; write = x73; _},
           Function
             (CI.Primitive CI.Size_t,
              Function
                (CI.Primitive CI.Int, Returns (CI.Primitive CI.Size_t)))))),
  "ZSTD_compress" ->
  (fun x69 x71 x72 x76 x77 ->
    let CI.CPointer x75 = x73 x72 in
    let CI.CPointer x70 = x69 in
    let x74 = x75 in libzstd_stubs_6_ZSTD_compress x70 x71 x74 x76 x77)
| Function
    (CI.View {CI.ty = CI.Pointer _; write = x79; _},
     Function (CI.Primitive CI.Size_t, Returns (CI.Primitive CI.Ullong))),
  "ZSTD_getFrameContentSize" ->
  (fun x78 x82 ->
    let CI.CPointer x81 = x79 x78 in
    let x80 = x81 in libzstd_stubs_5_ZSTD_getFrameContentSize x80 x82)
| Function (CI.Primitive CI.Size_t, Returns (CI.Primitive CI.Bool)),
  "ZSTD_isError" -> libzstd_stubs_4_ZSTD_isError
| Function
    (CI.Primitive CI.Size_t,
     Returns (CI.View {CI.ty = CI.Pointer x85; read = x86; _})),
  "ZSTD_getErrorName" ->
  (fun x84 -> x86 (CI.make_ptr x85 (libzstd_stubs_3_ZSTD_getErrorName x84)))
| Function (CI.Primitive CI.Size_t, Returns (CI.Primitive CI.Size_t)),
  "ZSTD_compressBound" -> libzstd_stubs_2_ZSTD_compressBound
| Function (CI.Void, Returns (CI.Primitive CI.Int)), "ZSTD_versionNumber" ->
  libzstd_stubs_1_ZSTD_versionNumber
| _, s ->  Printf.ksprintf failwith "No match for %s" s


let foreign_value : type a. string -> a Ctypes.typ -> a Ctypes.ptr =
  fun name t -> match t, name with
| _, s ->  Printf.ksprintf failwith "No match for %s" s