# MappingStatement

## `MappingStatement`

A MappingCall specifies the invocation of a referredMapping with a set of bindings of the bound variables of the referredMapping to values provided in the invocation. Where Collections of values are provided for isLoop bindings, a distinct invocation is performed for each distinct permutation of Collection elements.

conformsTo `Statement`

Associations

`MappingLoop : ::MappingLoop[?]`