2 * 2005 Matthew Fluet (mfluet@acm.org)
8 * Primitives for "raw" memory access and allocation.
10 * Copyright (c) 2004 by The Fellowship of SML/NJ
12 * Author: Matthias Blume (blume@tti-c.org)
14 signature CMEMORY = sig
16 include CMEMALLOC where type addr' = addr