diff options
Diffstat (limited to 'demo/more/meta.urs')
| -rw-r--r-- | demo/more/meta.urs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/demo/more/meta.urs b/demo/more/meta.urs index e949e5ee..90c4e17e 100644 --- a/demo/more/meta.urs +++ b/demo/more/meta.urs @@ -13,6 +13,8 @@ val bool : string -> meta (bool, bool) val textarea : string -> meta (string, string) +val allContent : ts ::: {(Type * Type)} -> $(map meta ts) -> $(map fst ts) -> folder ts -> xbody + val allWidgets : ts ::: {(Type * Type)} -> $(map meta ts) -> folder ts -> xml form [] (map snd ts) |