lib/mlnlffi-lib/c-debug.sig

   1 (* c-debug.sig
   2  * 2005 Matthew Fluet (mfluet@acm.org)
   3  *  Adapted for MLton.
   4  *)
   5
   6 (*
   7  * Encoding the C type system in SML.
   8  *
   9  * DEBUG VERSION with CHECKED POINTER DEREFERENCING.
  10  *
  11  *   (C) 2002, Lucent Technologies, Bell Laboratories
  12  *
  13  * author: Matthias Blume
  14  *)
  15 signature C_DEBUG = sig
  16     exception NullPointer
  17     include C
  18 end