関数id

Alloyタグ作ってみた。いつまで使うか謎ですが。

Objectに対する恒等写像（の集合）を返す関数。前回、ちょっと書きかけて捨てちゃったので、こっちにメモ。

fun id : Object -> Object {
	{ o, o': Object | o = o' }
}