Nuprl Definition : provisional-apply2
provisional-apply2(f;a;b) == provision(allowed(a) ∧ allowed(b); f allow(a) allow(b))
Definitions occuring in Statement :
allow: allow(x),
allowed: allowed(x),
provision: provision(ok; v),
and: P ∧ Q,
apply: f a
Definitions occuring in definition :
provision: provision(ok; v),
and: P ∧ Q,
allowed: allowed(x),
apply: f a,
allow: allow(x)
FDL editor aliases :
provisional-apply2
Latex:
provisional-apply2(f;a;b) == provision(allowed(a) \mwedge{} allowed(b); f allow(a) allow(b))
Date html generated:
2020_05_20-AM-08_01_22
Last ObjectModification:
2020_05_17-PM-08_15_03
Theory : monads
Home
Index