---

Valtype(da;k) ==  da(k)?Top

---

Definitions :  fpf-cap: f(x)?z,  Kind-deq: KindDeq,  top: Top
FDL editor aliases :  ma-valtype

---

Valtype(da;k)  ==    da(k)?Top


Date html generated: 2010_08_27-AM-12_02_58
Last ObjectModification: 2008_02_27-PM-09_48_33

Home Index