Nuprl Definition : A-null
A-null(AType) == A-return(array-model(AType)) ⋅
Definitions occuring in Statement :
array-model: array-model(AType),
A-return: A-return(AModel),
it: ⋅,
apply: f a
Definitions occuring in definition :
apply: f a,
A-return: A-return(AModel),
array-model: array-model(AType),
it: ⋅
FDL editor aliases :
A-null
Latex:
A-null(AType) == A-return(array-model(AType)) \mcdot{}
Date html generated:
2016_05_15-PM-02_19_14
Last ObjectModification:
2015_09_23-AM-07_38_39
Theory : monads
Home
Index