Module type Analyze.S

type input
val parse : input -> data * obj LargeArray.t

Return the entry point and the reification of the memory out of a marshalled structure.