Parameter Build_ordered.1-P

module Id : Comparable
type t