package rocq-read-file
Read files from disk into Rocq primitive values
Install
Dune Dependency
Authors
Maintainers
Sources
v0.0.2.tar.gz
sha512=e7b4d9ff1b312781831d1bd64b36818143a2be38edefc35665fc868dd51caea2a2637744822e2d44dd05633bef7e2937b75dffcc48efeb67d688cbc90deda123
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: 19 May 2026
Dependencies (3)
-
ppx_optcomp
build -
dune
>= "3.8" & build -
ocaml
>= "4.14"
Dev Dependencies (3)
-
odoc
with-doc -
rocq-stdlib
>= "9.0" | = "dev" -
coq-core
>= "9.0" | = "dev"
Used by
None
Conflicts
None
On This Page