module email
sig Name, Addr {}
sig AddrBook {
	map: Name -> Addr
	}
fun add (b, b': AddrBook, n: Name, a: Addr) {
	b'.map = b.map + n->a
	}
run add