diff options
Diffstat (limited to 'forum/forum.urs')
-rw-r--r-- | forum/forum.urs | 8 |
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 |