Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* memory.sig |
2 | * 2005 Matthew Fluet (mfluet@acm.org) | |
3 | * Adapted for MLton. | |
4 | *) | |
5 | ||
6 | (* memory.sig | |
7 | * | |
8 | * Primitives for "raw" memory access and allocation. | |
9 | * | |
10 | * Copyright (c) 2004 by The Fellowship of SML/NJ | |
11 | * | |
12 | * Author: Matthias Blume (blume@tti-c.org) | |
13 | *) | |
14 | signature CMEMORY = sig | |
15 | include CMEMACCESS | |
16 | include CMEMALLOC where type addr' = addr | |
17 | end |