---

cdv-types(dv) ==
  case(dv)
  Base(a)=> [base-deriv-type(a)]
  pair(d1,d2) => ts1,ts2.ts1 @ ts2
  (d)'=> ts.ts
  f(d:P):T=> ts.[T]
  f(d:P, self'):T=> ts.[T]

---

Definitions :  classderiv_ind: classderiv_ind,  append: as @ bs,  cons: [car / cdr],  nil: []
FDL editor aliases :  cdv-types

---

cdv-types(dv)  ==
    case(dv)
    Base(a)=>  [base-deriv-type(a)]
    pair(d1,d2)  =>  ts1,ts2.ts1  @  ts2
    (d)'=>  ts.ts
    f(d:P):T=>  ts.[T]
    f(d:P,  self'):T=>  ts.[T]


Date html generated: 2010_08_27-PM-08_10_01
Last ObjectModification: 2010_06_18-PM-04_53_31

Home Index