Module CanonicalTest.List_modif

type 'c t
val id : 'a t -> 'a t