Nuprl Definition : OARcast_init_odstate
OARcast_init_odstate(M;orderers) == <orderers, []>
Definitions occuring in Statement :
nil: [],
pair: <a, b>
FDL editor aliases :
OARcast_init_odstate
Latex:
OARcast\_init\_odstate(M;orderers) == <orderers, []>
Date html generated:
2015_07_23-PM-00_32_41
Last ObjectModification:
2014_08_20-PM-00_05_38
Home
Index