sig type t = string val compare : Benl_base.??.-> Benl_base.??.-> int end