summaryrefslogtreecommitdiff
path: root/forum/forum.urs
diff options
context:
space:
mode:
Diffstat (limited to 'forum/forum.urs')
-rw-r--r--forum/forum.urs8
1 files changed, 7 insertions, 1 deletions
diff --git a/forum/forum.urs b/forum/forum.urs
index 1dad9a7..bf25c4f 100644
--- a/forum/forum.urs
+++ b/forum/forum.urs
@@ -16,4 +16,10 @@ details.
You should have received a copy of the GNU Affero General Public License along
with 6.947. If not, see <http://www.gnu.org/licenses/>. *)
-val main : unit -> xbody
+functor Make(Template : sig
+ val generic : option string -> xbody -> page
+end) : sig
+
+val main : unit -> transaction page
+
+end