F# interfaces for every named object type with members: exported interfaces, class instance sides, and synthesized anonymous shapes. Inherited members are declared in full, and a base this run declares is `inherit`ed beside them (§4.4); any other base is flattened alone.