Up – Package index » Base » Library base » Base » Map » Using_comparator » Empty_without_value_restriction

Module `Using_comparator.Empty_without_value_restriction`Source

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

Parameters

module K : Comparator.S1

Sourceval empty : ('a K.t, 'v, K.comparator_witness) t