U:RDoc::AnyMethod[iI"explain:ETI"QED::Step#explain;TF:publico:RDoc::Markup::Document:@parts[o:RDoc::Markup::Paragraph;	[I"Description text.;T:
@fileI"lib/qed/step.rb;T:0@omit_headings_from_table_of_contents_below000[[I"description;To;;	[o;
;	[I"!Alternate term for #explain.;T;@;0[I"	text;To;;	[o;
;	[I"@deprecated;T;@;0I"();T@FI"	Step;TcRDoc::NormalClass00