diff options
author | 2009-10-22 12:16:31 -0400 | |
---|---|---|
committer | 2009-10-22 12:16:31 -0400 | |
commit | 0b93d889ce76c949c013d24cc3fe1a1cee2445b3 (patch) | |
tree | 901f503fbc6b4bc7f9a6fd4ee70911c981ec4891 /demo/more/meta.urs | |
parent | be70af1ef8d1de3b201507c9e9227d41eceeefdd (diff) |
Viewing papers
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) |