Module type Account_update.Type