The object Product is a wrapper type, with ancestor classes AssociativeExpression < Expression < BasicList < Thing.
The source of this document is in Macaulay2Doc/doc12.m2:175:0.