# Snippets - TLA ## module (`module`) Create new module ```tla ---- MODULE $TM_FILENAME_BASE ---- $0 ------ ====== ```