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