cdvcomb(typ;argtype;arg;fun) == inr inr inr (inl <typ, argtype, arg, fun> )
Definitions :
inr: inr x ,
inl: inl x ,
pair: <a, b>
FDL editor aliases :
cdvcomb
cdvcomb(typ;argtype;arg;fun) == inr inr inr (inl <typ, argtype, arg, fun> )
Date html generated:
2010_08_27-PM-08_08_00
Last ObjectModification:
2010_06_18-PM-04_21_41
Home
Index