absmodule.dcl 592 Bytes
Newer Older
1
2
definition module absmodule

3
4
// $Id$

5
6
7
from rule import Rule

:: Module sym pvar tsym tvar
8
9
10
11
12
   = { typeconstructors    :: [(tsym,[sym])]            // All constructor symbols of each declared algebraic type
     , exportedsymbols     :: [sym]                     // Exported function/constructor symbols
     , typerules           :: [(sym,Rule tsym tvar)]    // Principal types of symbols
     , stricts             :: [(sym,[Bool])]            // Strict arguments of functions
     , rules               :: [(sym,[Rule sym pvar])]   // Rewrite rules of each symbol, absent if imported
13
     }