Parameter Build_ordered.P

module Id : Comparable
type t