Module MemTyped

module MemTyped: sig .. end
describe the content of literal strings

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