sig   type bat__compare_t = t   val ( <> ) : bat__compare_t -> bat__compare_t -> bool   val ( >= ) : bat__compare_t -> bat__compare_t -> bool   val ( <= ) : bat__compare_t -> bat__compare_t -> bool   val ( > ) : bat__compare_t -> bat__compare_t -> bool   val ( < ) : bat__compare_t -> bat__compare_t -> bool   val ( = ) : bat__compare_t -> bat__compare_t -> bool end