From: Paulo J. Matos (pocmatos at gmail.com) Date: Sun Jun 14 16:09:52 EDT 2009 |
|
Hi, Given that there is a way to define whole-module signatures, is there a similar way for contracted signatures? Cheers, Paulo Matos
Posted on the users mailing list. |
|