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

This is just List.id, or rather L.id

val baz : 'a Base.List.t -> unit

We can't reference Base__ because it's hidden. List.t (List.t) should resolve.