Parameter Make_ordered.1-P

module Id : Comparable