Hi,
Yes you certainly can have a port-channel (aka link aggregation group) span multiple members in an Arubastack.
Take a look at the Port-Channels section of the 7.1.3 User Guide (page 105) for details on how to configure a port channel and just reference the ports anywhere in the Arubastack that you want to use.
Best regards,
Madani