From subcomponents Require bool.
From Stdlib Require Structures.GenericMinMax.
From Stdlib Require Structures.Equalities.
From Stdlib Require Structures.Orders.
From Stdlib Require Structures.OrdersFacts.
From Stdlib Require Structures.OrdersTac.
