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.