Parameter Fold_ordered.P

module Id : Comparable
type t