package rocq-read-file
Read files from disk into Rocq primitive values
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.3.tar.gz
sha512=c4f78d172238c8b072ea600978cc77e737d9d4bb121ce7ed31cd6f47bbb2a2f5046314805201d39ae179905dc70f96278766de480d5b184085bfc066f5f364e0
Description
A Rocq plugin that reads binary files into Rocq-side primitive values: byte arrays, int63 arrays, or primitive strings. Auto-nests into primitive arrays when results exceed PArray.max_length.
Published: 20 Oct 2026
Dependencies (3)
-
ppx_optcomp
build -
dune
>= "3.23" & build -
ocaml
>= "4.14"
Dev Dependencies (3)
-
odoc
with-doc -
rocq-stdlib
>= "9.0" | = "dev" -
rocq-runtime
>= "9.0" | = "dev"
Used by
None
Conflicts
None
On This Page