• typeLookUp function
• Double mappings

• typeLookUp is one of AMBER’s inbuilt functions, which allows a mapping to be applied to an expression as well as a parameter. This function provides a way to write expressions containing double mappings.

This video covers section 7.4 of the User Guide, as well as some additional information.