This construct is identical to SML's and is used as a convenience to import all bindings from a list of structures into the environment for the enclosing block.