Module ModuleTypeOfComplications.X1

type t
type u