Module `CanonicalTest.Base__Tests`

module C : module type of Base.List

module L = Base.List

val foo : L.t -> L.t
val bar : Base.List.t -> Base.List.t: This is just List.id, or rather L.id

val baz : Base.List.t -> unit: Just seeing if Base__.List.t (Base__.List.t) gets rewriten to Base.List.t (Base.List.t)