public override string ToString() { return (Module ?? "user") + ":" + Name + "/" + Arity + " " + Event; }