---

cdvreccomb-argtype(x) ==
  case(x)
  Base(args)=> 
  pair(fst,snd) => rec1,rec2.
  (X)'=> rec1.
  fun(arg:argtype):typ=> rec1.
  fun(arg:argtype, self'):typ=> rec1.argtype

---

Definitions :  classderiv_ind: classderiv_ind,  it:
FDL editor aliases :  cdvreccomb-argtype

---

cdvreccomb-argtype(x)  ==
    case(x)
    Base(args)=>  \mcdot{}
    pair(fst,snd)  =>  rec1,rec2.\mcdot{}
    (X)'=>  rec1.\mcdot{}
    fun(arg:argtype):typ=>  rec1.\mcdot{}
    fun(arg:argtype,  self'):typ=>  rec1.argtype


Date html generated: 2010_08_27-PM-08_09_48
Last ObjectModification: 2010_06_18-PM-04_37_08

Home Index