Constructing tensor product generalization?

As title demonstrates, I want some tool to create an external tensor product space under two non-interacting Clifford algebra (just like to create a tensor product space under two basic linear space). Addition is like addition in tensor product space, and multiplication is inherited from former Clifford algebra. I look around but find nothing.
I wonder is this already implemented? Or how can I create it myself ?(I have tried it a bit, but external tensor basis seem not that easy... Where can I find some references.)
Thank you in advance.

The issue names no file, test, or entry point, so first inspect the Julia package's existing tensor and Clifford-algebra construction APIs and the seven-comment discussion. Confirm whether an external tensor-product space already exists; if not, establish the required basis, addition, and inherited multiplication behavior, with tests defining what is complete.

Written by the indexing model from the issue text.