[Ur] need help with unification and field name disjointness proof failures

[Marko Schütz Schmuck]

The attached source is giving me some type related errors. I'd very
much appreciate some help ...

Thanks,

Marko

-------------- next part --------------
A non-text attachment was scrubbed...
Name: password.ur
Type: application/octet-stream
Size: 2697 bytes
Desc: not available
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170406/e9faa2a0/attachment.obj>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: error
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170406/e9faa2a0/attachment.ksh>
-------------- next part --------------


-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP Digital Signature
URL: <http://www.impredicative.com/pipermail/ur/attachments/20170406/e9faa2a0/attachment.sig>