[ Côd ] gweithdrefn

☞ x ≔ 1.
 {
 	(x = 1) gwir: { ✎ ysgrifennu: ‘x’. }, egwyl.
 	✎ ysgrifennu: ‘y’.
 } gweithdrefn.

 {
 	(x = 1) gwir: { ✎ ysgrifennu: ‘x’. }, egwyl.
 	✎ ysgrifennu: ‘y’.
 } × 1.