[Ur] function and signature

[Gergely Buday]

Hi,

I have a function that returns

        Basis.list
                $(<UNIF:U16369::{Type}> ++
                   [#Here = myType,
                     #There = myType])

according to the type checker. How can I express its signature so that it
compiles? Is it possible to express that I have these two fixed fields and
some others?

- Gergely
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20111017/dda3c22e/attachment.html>