Biocaml_std.Order.totalify

let totalify cmp =

  fun a b ->

   match cmp a b with

   | Some c -> c

   | None -> failwith "order relation not defined for given elements"