aboutsummaryrefslogtreecommitdiffhomepage
path: root/demo/metaform.urs
diff options
context:
space:
mode:
Diffstat (limited to 'demo/metaform.urs')
-rw-r--r--demo/metaform.urs6
1 files changed, 6 insertions, 0 deletions
diff --git a/demo/metaform.urs b/demo/metaform.urs
new file mode 100644
index 00000000..7a3fa62e
--- /dev/null
+++ b/demo/metaform.urs
@@ -0,0 +1,6 @@
+functor Make (M : sig
+ con fs :: {Unit}
+ val names : $(mapUT string fs)
+ end) : sig
+ val main : unit -> transaction page
+end