
# Module `Include`

```
module type Not_inlined = sig ... end
```
```
type t
```
```
module type Inlined = sig ... end
```
```
type u
```
```
module type Not_inlined_and_closed = sig ... end
```
```
type v
```
```
module type Not_inlined_and_opened = sig ... end
```
```
type w
```
```
module type Inherent_Module = sig ... end
```
```
module type Dorminant_Module = sig ... end
```
```
val a : u
```