Parameter ORD_BY_F.1-A

type a;
type b = Ord.t;
let f: a => b;