General Program Information
Basics - Unions
unionA
unionA(p1,p2) :=