Nuprl Definition : opt
(b?x) == if b then inl x else inr ⋅ fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
it: ⋅,
inr: inr x ,
inl: inl x
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
inl: inl x,
inr: inr x ,
it: ⋅
FDL editor aliases :
opt
Latex:
(b?x) == if b then inl x else inr \mcdot{} fi
Date html generated:
2016_05_15-PM-01_43_48
Last ObjectModification:
2015_09_23-AM-07_36_56
Theory : basic
Home
Index