Was I molested by another child when I was 5 years old?

[I_needhelp444]

So, in short, when I was 5 years old, I was going to a Catholic school. Among the 4th grade class, was an Autistic 9 year old boy. He was known to touch little boys in his neighborhood and in school. So, one day, I decided to go to use the bathroom. In the bathroom, my "friend" stated, in a child's terms, that the boy had molested him. After being in the bathroom for a little while, the boy entered in and immediately began tugging up and down on my 5 year old penis, all while laughing. It only went on for a short while, atleast that's what I assume. After he was done, he ran out of the bathroom with my "friend" and I immediately went back to class. So, is this molestation or could it be considered as "playing doctor," out of curiosity? I would love some support from this community and thank you.