Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* c.sml |
2 | * 2005 Matthew Fluet (mfluet@acm.org) | |
3 | * Adapted for MLton. | |
4 | *) | |
5 | ||
6 | (* | |
7 | * Encoding C's type system in SML. This module provides the "public" | |
8 | * view of the implementation. | |
9 | * | |
10 | * (C) 2001, Lucent Technologies, Bell Laboratories | |
11 | * | |
12 | * author: Matthias Blume (blume@research.bell-labs.com) | |
13 | *) | |
14 | structure C : C = C_Int |