You can search for identifiers within the package.
in-package search v0.2.0
rocq-runtime.checklib
Analyze.Make
Functorized version of the previous code.
module M : Input
type input = M.t
val parse : input -> data * obj LargeArray.t
Return the entry point and the reification of the memory out of a marshalled structure.