Set.Stable
The following types and functors may be used to define stable modules.
module V1 : sig ... end