- o -

• object_type : lean::smart::scoped_ptr< Type, ReleasePolicy > , lean::tags::transitive_ptr< Type, Immutable >
• opaque_type : lean::pimpl::opaque_val< OpaqueTypeWrapper, OpaqueTypeWrapperBase >
• other : lean::memory::heap_allocator< Element, Heap, Alignment >::rebind< Other >
• output_stream : lean::logging::log_stream_out