| File | Mode | Size |
|---|---|---|
| data_encoding.ml | -rw-r--r-- | 126 bytes |
| dune | -rw-r--r-- | 215 bytes |
| encoding.ml | -rw-r--r-- | 11.5 KB |
| encoding.mli | -rw-r--r-- | 3.5 KB |
| query.ml | -rw-r--r-- | 376 bytes |
| query.mli | -rw-r--r-- | 256 bytes |
| File | Mode | Size |
|---|---|---|
| data_encoding.ml | -rw-r--r-- | 126 bytes |
| dune | -rw-r--r-- | 215 bytes |
| encoding.ml | -rw-r--r-- | 11.5 KB |
| encoding.mli | -rw-r--r-- | 3.5 KB |
| query.ml | -rw-r--r-- | 376 bytes |
| query.mli | -rw-r--r-- | 256 bytes |