Map.Stable
The following functors may be used to define stable modules
module V1 : sig ... end
module Symmetric_diff_element : sig ... end