From b19dd3cbf3d378baaea1a16e5227f9862015ec63 Mon Sep 17 00:00:00 2001
From: Gareth Rees <gdr@ravenbrook.com>
Date: Wed, 6 Nov 2013 16:25:29 +0000
Subject: [PATCH] Document the interface type mps_fun_t.

Copied from Perforce
 Change: 183644
 ServerID: perforce.ravenbrook.com
---
 mps/manual/source/topic/interface.rst | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/mps/manual/source/topic/interface.rst b/mps/manual/source/topic/interface.rst
index e0bca91d1fb..0c9c02f64dc 100644
--- a/mps/manual/source/topic/interface.rst
+++ b/mps/manual/source/topic/interface.rst
@@ -312,6 +312,14 @@ General types
     :c:func:`mps_clock`.
 
 
+.. c:type:: mps_fun_t
+
+    The type of a generic function pointer.
+
+    It is a :term:`transparent alias <transparent type>` for
+    ``void (*)(void)``.
+
+
 .. c:type:: mps_label_t
 
     The type of a :term:`telemetry label`.