Parameter OrdRingExtensions.1-R

type t = Ord.t;
let add: t => t => t;
let zero: t;
let multiply: t => t => t;
let one: t;
let subtract: t => t => t;