Descriptors.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14

definition module ABC.Descriptors

from ABC.Def import ::Arity, ::InstrId

:: Desc = Desc APEntry Arity Name

d_ap_entry :: Desc -> InstrId
d_arity    :: Desc -> Arity
d_name     :: Desc -> String

:: DescStore (:== [Desc])

ds_get     :: DescId DescStore -> Desc
ds_init    :: [Desc] -> DescStore