···55555656You can `import` other `.tsp` files.
57575858-For now, we're assuming you write everything in typelex. You can grab common Lexicons from the [Playground](https://playground.typelex.org/). However, if you just want a ref, you could stub out any external Lexicon, like this:
5858+For now, we're assuming you write everything in TypeSpec. You can grab common Lexicons from the [Playground](https://playground.typelex.org/). However, if you just want a ref, you could stub out any external Lexicon, like this:
59596060```typescript
6161namespace com.example.defs {
···7777```typescript
7878namespace com.example.post {
7979 @rec("tid")
8080- /** A post record */
8180 model Main {
8281 @required text: string;
8382 @required createdAt: datetime;
8483 }
8584}
8685```
8686+8787+Note it's `@rec` because (unfortunately) `record` is reserved in TypeSpec.
87888889**Maps to:** `{"type": "record", "key": "tid", "record": {...}}`
8990