2 * 2005 Matthew
Fluet (mfluet@acm
.org
)
7 * Encoding C
's
type system
in SML
. This module provides the
"public"
8 * view
of the implementation
.
10 * (C
) 2001, Lucent Technologies
, Bell Laboratories
12 * author
: Matthias
Blume (blume@research
.bell
-labs
.com
)
14 structure C
: C
= C_Int