-- Copyright 2003, Trustees of Indiana University
-- Please see the license in the file ../LICENSE


deferred class STRICT_WEAK_ORDERING[T]
feature
   less (t: T; u: T) : BOOLEAN is deferred end
end -- STRICT_WEAK_ORDERING