Nuprl Definition : MoveChoice

MoveChoice(Pos;a.Mv[a]) ==  a:Pos ⟶ (Mv[a]?)


Definitions occuring in Statement :  unit: Unit,  function: x:A ⟶ B[x],  union: left + right
Definitions occuring in definition :  function: x:A ⟶ B[x],  union: left + right,  unit: Unit
FDL editor aliases :  MoveChoice
Latex:
MoveChoice(Pos;a.Mv[a])  ==    a:Pos  {}\mrightarrow{}  (Mv[a]?)


Date html generated: 2016_05_14-PM-03_56_20
Last ObjectModification: 2015_09_22-PM-06_01_52

Theory : spread


Home Index