Mercurial > urweb
view tests/polyjsFfi.urs @ 1922:5890ba37827c
Add -print-cinlude command line option
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Wed, 06 Nov 2013 13:54:07 +0400 |
parents | 276fa06428ba |
children |
line wrap: on
line source
val one : a ::: Type -> a -> a val two : a ::: Type -> b ::: Type -> a -> b