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