/usr/lib/mlton/sml/mlnlffi-lib/c-debug.sig is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | (* c-debug.sig
* 2005 Matthew Fluet (mfluet@acm.org)
* Adapted for MLton.
*)
(*
* Encoding the C type system in SML.
*
* DEBUG VERSION with CHECKED POINTER DEREFERENCING.
*
* (C) 2002, Lucent Technologies, Bell Laboratories
*
* author: Matthias Blume
*)
signature C_DEBUG = sig
exception NullPointer
include C
end
|