Something went wrong. Try again.
Odoc docs
Something went wrong. Try again.
123456789101112131415161718192021222324; Vendored from odoc-drivermod (src/driver). Temporary, pending upstreaming —; see DESIGN.md. Built as a private library (no public_name) so it doesn't; clash with an installed odoc-driver package.(library (name odoc_driver_lib) ; Vendored as-is: silence warnings so odd's strict dev profile doesn't reject ; (or spam about) upstream code. (flags (:standard -w -a)) (preprocess (pps ppx_sexp_conv)) (libraries cmdliner bos progress fpath yojson findlib opam-format logs logs.fmt eio_main sexplib))