// In header: <boost/range_run_storage/concepts.hpp>

template<typename S> 
struct RangeRunStorage : public Sequence< S > {
  // types
  typedef result_of< op::runs(typename add_reference< S >::type) >::type            runs;       
  typedef ReadablePropertyMap< runs, typename RangeRunStorage::cursor >::value_type run_type;   
  typedef Run< run_type >::offset_type                                              offset_type;
  typedef Run< run_type >::length_type                                              length_type;
  typedef result_of< op::zero(typename add_reference< S >::type) >::type            zero_type;  

  // construct/copy/destruct
  ~RangeRunStorage();

  // public member functions
   BOOST_CONCEPT_ASSERT((ReadablePropertyMap< runs, typename RangeRunStorage::cursor >)) ;
   BOOST_CONCEPT_ASSERT((Run< run_type >)) ;
   BOOST_CONCEPT_ASSERT((Convertible< zero_type, typename RangeRunStorage::value_type >)) ;
};