Module CanonicalTest.List_modif
type 'c t = 'c Ocamlary.CanonicalTest.Base.List.tval id :
'a Ocamlary.CanonicalTest.List_modif.t ->
'a Ocamlary.CanonicalTest.List_modif.tCanonicalTest.List_modiftype 'c t = 'c Ocamlary.CanonicalTest.Base.List.tval id :
'a Ocamlary.CanonicalTest.List_modif.t ->
'a Ocamlary.CanonicalTest.List_modif.t