CanonicalTest.Base_Tests
module C : sig ... end
module L : sig ... end
val foo : int L.t -> float L.t
val bar : 'a {Base__}2.List.t -> 'a {Base__}2.List.t
val baz : 'a {Base__}2.List.t -> unit