Nuprl Definition : simple-swap3
simple-swap3(AModel;i;j) ==
A-fetch2(AModel;i) >> \in@i.
A-fetch2(AModel;j) >> \in@j.
A-assign2(AModel;i;in@j) >> \%1.
A-assign2(AModel;j;in@i)
Definitions occuring in Statement :
A-assign2: A-assign2(AModel;i;v),
A-fetch2: A-fetch2(AModel;i),
A-bind2: A-bind2
Definitions occuring in definition :
A-fetch2: A-fetch2(AModel;i),
A-bind2: A-bind2,
A-assign2: A-assign2(AModel;i;v)
FDL editor aliases :
simple-swap3
Latex:
simple-swap3(AModel;i;j) ==
A-fetch2(AModel;i) >> \mbackslash{}in@i.
A-fetch2(AModel;j) >> \mbackslash{}in@j.
A-assign2(AModel;i;in@j) >> \mbackslash{}\%1.
A-assign2(AModel;j;in@i)
Date html generated:
2016_05_15-PM-02_20_45
Last ObjectModification:
2015_09_23-AM-07_38_50
Theory : monads
Home
Index