Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module V1 : Core.Stable_without_comparatormodule V2 : sig ... endmodule V1 : Core.Stable_without_comparatormodule V2 : sig ... end