Nuprl Definition : b-isect
b-isect(T1;T2) == ⋂b:⇃(𝔹). if b then T1 else T2 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
bool: 𝔹,
true: True,
isect: ⋂x:A. B[x]
Definitions occuring in definition :
isect: ⋂x:A. B[x],
bool: 𝔹,
true: True,
ifthenelse: if b then t else f fi
FDL editor aliases :
b-isect
Latex:
b-isect(T1;T2) == \mcap{}b:\00D9(\mBbbB{}). if b then T1 else T2 fi
Date html generated:
2016_05_13-PM-03_58_15
Last ObjectModification:
2015_09_22-PM-05_45_39
Theory : bool_1
Home
Index