From subcomponents Require program.
From subcomponents Require relations.
From Stdlib Require Classes.CEquivalence.
From Stdlib Require Classes.DecidableClass.
From Stdlib Require Classes.Morphisms_Relations.
From Stdlib Require Classes.RelationPairs.
From Stdlib Require Classes.SetoidClass.
