Parameter Make_ordered.P

module Id : Comparable