Nuprl Definition : provision

provision(ok; v) ==  <ok, v>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  provision provision
Latex:
provision(ok;  v)  ==    <ok,  v>


Date html generated: 2020_05_20-AM-08_00_43
Last ObjectModification: 2020_05_17-PM-04_12_06

Theory : monads


Home Index