Nuprl Definition : mem_test_IncState
mem_test_IncState() == Memory1(
loc.{0};loc,z,n.(n + 1);mem_test_Input())
Definitions occuring in Statement :
mem_test_Input: mem_test_Input(),
Memory1: Memory1(init;tr;X),
lambda: x.A[x],
add: n + m,
natural_number: $n,
single-bag: {x}
FDL editor aliases :
mem_test_IncState
mem\_test\_IncState() == Memory1(\mlambda{}loc.\{0\};\mlambda{}loc,z,n.(n + 1);mem\_test\_Input())
Date html generated:
2012_02_20-PM-05_13_29
Last ObjectModification:
2012_02_17-PM-06_25_31
Home
Index