| 1 | (* This file has been generated automatically. DO NOT EDIT! *) |
| 2 | (* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *) |
| 3 | (* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *) |
| 4 | local open C.Dim C_Int in |
| 5 | structure FPtrRTTI_2 = struct |
| 6 | fun mkcall a x1 |
| 7 | = Cvt.c_sint |
| 8 | (CMemory.unwrap_sint |
| 9 | (Callop_1.callop |
| 10 | (a, |
| 11 | CMemory.wrap_addr (reveal (Ptr.inject' x1)), |
| 12 | nil))) |
| 13 | val typ = |
| 14 | mk_fptr_typ mkcall : |
| 15 | ((ST_pg_result.tag, ro) su_obj ptr' -> sint) fptr T.typ |
| 16 | end |
| 17 | end |