Legend:
Library
Module
Module type
Parameter
Class
Class type
The Subtyping module contains all the types used for accessor subtyping. You shouldn't have to use it, but it's here for the documentation.
The subtyping scheme for accessors involves the following "feature" types. Each kind of accessor is defined by the features it has. If an accessor A's features is a subset of another accessor B's features, then A is a supertype of B.