
# Module `CanonicalTest.Base_Tests`

```
module C : module type of Base.List
```
```
module L = Base.List
```
```
val foo : int L.t -> float L.t
```
```
val bar : 'a Base.List.t -> 'a Base.List.t
```
```
val baz : 'a Base.List.t -> unit
```