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;