Module Splitter.M

module M: Qed.Listmap.Make(Tags)