eclass-program-type(prg)
==
fst(prg)
Definitions
:
pi1:
fst(t)
FDL editor aliases
:
eclass-program-type
eclass-program-type(prg) == fst(prg)
Date html generated: 2010_08_27-PM-03_35_26
Last ObjectModification: 2010_06_17-PM-03_34_13
Home
Index