Parameter Make.Ord

type t;
let compare: t => t => int;