Parameter Fold_ordered.1-P

module Id : Comparable
type t