| 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_39 = struct |
| 6 | fun mkcall a (x1, x2, x3, x4, x5, x6, x7) |
| 7 | = pcast |
| 8 | (CMemory.unwrap_addr |
| 9 | (Callop_23.callop |
| 10 | (a, |
| 11 | (CMemory.wrap_addr (reveal (Ptr.inject' x1)), |
| 12 | CMemory.wrap_addr (reveal (Ptr.inject' x2)), |
| 13 | CMemory.wrap_addr (reveal (Ptr.inject' x3)), |
| 14 | CMemory.wrap_addr (reveal (Ptr.inject' x4)), |
| 15 | CMemory.wrap_addr (reveal (Ptr.inject' x5)), |
| 16 | CMemory.wrap_addr (reveal (Ptr.inject' x6)), |
| 17 | CMemory.wrap_addr (reveal (Ptr.inject' x7))), |
| 18 | nil))) |
| 19 | val typ = |
| 20 | mk_fptr_typ mkcall : |
| 21 | (ro uchar_obj ptr' * |
| 22 | ro uchar_obj ptr' * |
| 23 | ro uchar_obj ptr' * |
| 24 | ro uchar_obj ptr' * |
| 25 | ro uchar_obj ptr' * |
| 26 | ro uchar_obj ptr' * |
| 27 | ro uchar_obj ptr' -> (ST_pg_conn.tag, rw) su_obj ptr') fptr T.typ |
| 28 | end |
| 29 | end |