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