Module Using_comparator.Empty_without_value_restriction
To get around the value restriction, apply the functor and include it. You can see an example of this in the Poly submodule below.
Using_comparator.Empty_without_value_restrictionTo get around the value restriction, apply the functor and include it. You can see an example of this in the Poly submodule below.