module Ghost_accesses:sig
..end
\ghost
qualifier. That is, only ghost code can declare ghost memory, and ghost
code can modify only ghost memory.
Registered as a transformation category (that doesn't transform
anything but will complain if there are bad accesses).val transform_category : File.code_transformation_category