U:RDoc::Attr[iI"modified_time:ETI""Covered::Source#modified_time;TI"R;T:publico:RDoc::Markup::Document:@parts[o:RDoc::Markup::Paragraph;	[I"C@attribute [Time | Nil] The recorded source modification time.;T:
@fileI"lib/covered/source.rb;T:0@omit_headings_from_table_of_contents_below0F@I"Covered::Source;TcRDoc::NormalClass0