Nuprl Definition : tuple-type

tuple-type(L) ==  rec-case(L) of [] => Unit T::Ts => r.if null(Ts) then else T × fi 

Definitions occuring in Statement :  null: null(as) list_ind: list_ind ifthenelse: if then else fi  unit: Unit product: x:A × B[x]
Definitions occuring in definition :  list_ind: list_ind unit: Unit ifthenelse: if then else fi  null: null(as) product: x:A × B[x]
FDL editor aliases :  tuple-type

tuple-type(L)  ==    rec-case(L)  of  []  =>  Unit  |  T::Ts  =>  r.if  null(Ts)  then  T  else  T  \mtimes{}  r  fi 

Date html generated: 2016_05_14-PM-03_57_19
Last ObjectModification: 2015_09_22-PM-06_01_58

Theory : tuples

Home Index