1 (* This file has been generated automatically
. DO NOT EDIT
! *)
2 (* [by Matthias Blume
's ml
-nlffigen (version
0.9.1) for x86
-unix
] *)
3 (* Send comments
and suggestions to blume@tti
-c
.org
. Thanks
! *)
4 local open C
.Dim C_Int
in
5 structure FPtrRTTI_0
= struct
9 (CMemory
.wrap_addr (reveal x1
),
10 CMemory
.wrap_addr (reveal (Ptr
.inject
' x2
))),
14 (voidptr
* ro uchar_obj ptr
' -> unit
) fptr T
.typ