Skip to main content

Browse the archive

Revision 6ceb9b259a788930460e25dc4aa519833eddb9c7 authored by Nicolas Ayache on 11 October 2022, 13:20:22 UTC, committed by Nicolas Ayache on 11 October 2022, 13:20:22 UTC 
Proto: name Make_map.Make_Encoder.
 
So that we can reuse it, because Local depends on its functions.
1 parent 385531a
History
File Mode Size
opam-lint
dune -rw-r--r-- 284 bytes
node_wrapper.ml -rw-r--r-- 3.4 KB
back to top