# `syntax.export_keyword`

Declaration marked `export` or `pub`.

Area 1, [Project layout and modules](../topics/project-layout-and-modules.md); not declinable; the next step is usually the agent's.

Every declaration is visible across its domain without `export` or `pub`; `public` opens one to other domains.

```jadpo
type Count = Int {
    min: 0
}

export function same(count: Count) -> Count {
    return count
}
```

```text
error: Jadpo has no `export`
 --> main.jadpo:5:1
  |
5 | export function same(count: Count) -> Count {
  | ^^^^^^ remove `export`
  reason: `export` makes a name visible to other files in JavaScript and TypeScript, and `pub` outside its module in Rust; every Jadpo declaration is visible across its domain, and `public` opens it to other domains.
  next: Remove `export` (agent)
  rule: syntax.export_keyword
  help: https://jadpo.dev/docs/errors/syntax.export_keyword

check failed: 1 error, 1 file
```