Groups with infinite linearly ordered products

We introduce a formalism of infinite, linearly ordered products in general groups. Using this, we define infinite compositions in certain groups of formal power series such as transseries. We show that such groups can sometimes be represented as infinite, linearly ordered, semidirect products of ordered Abelian groups.