module MemTyped: sig .. end
sig
end
include Memory.Model
type pointer =
|
NoCast
Fits
Unsafe
val pointer : pointer Context.value
pointer Context.value