From subcomponents Require narith.
From subcomponents Require strings.
From subcomponents Require sorting.
From Stdlib Require Structures.BoolOrder.
From Stdlib Require Structures.OrdersEx.
From Stdlib Require Structures.OrdersLists.
From Stdlib Require Structures.EqualitiesFacts.
From Stdlib Require Structures.OrderedTypeAlt.
From Stdlib Require Structures.OrderedType.
From Stdlib Require Structures.DecidableType.
From Stdlib Require Structures.OrderedTypeEx.
From Stdlib Require Structures.OrdersAlt.
From Stdlib Require Structures.DecidableTypeEx.
