sig module MappeX : Mappe.S module MappeY : Mappe.S end