Alchemy.Events.on_member_leave

You're seeing just the macro on_member_leave, go back to Alchemy.Events module for more information.
Link to this macro

on_member_leave(func)

(macro)

Registers a handle triggering when a member leaves a guild.

args : Alchemy.User.t, snowflake

Receives the user that left the guild, and the id of the guild they've left.