# File estraierpure.rb, line 428
def
doc_num
()
@docs
.
length
end