Module Wp.MemTyped

module MemTyped: sig .. end

include Wp.Sigs.Model
type pointer = 
| NoCast
| Fits
| Unsafe
val pointer : pointer Wp.Context.value