On 2012-08-02 15:04, Serge D. Mechveliani wrote: > Another question: where is explained the meaning of the word `using' > in the import declaration? I think this question is answered in the draft reference manual that is available on the wiki: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Modules -- /NAD