module email
sig Name, Addr {}
fun add (addr, addr': Name -> Addr, n: Name, a: Addr) {
	addr' = addr + (n -> a)
	}
run add for 2