tree 0f2d6e9185961be7999757085226ca87a2c7486d
parent 98ec7995912af0aaaf9a97c5bc1be17e9b601af9
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1600279071 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1600279071 -0300

Details in comments and documentation