`mod` in the spec is an AST `Module`, I believe.