(module Robustly_comparable)