Slide 11 © R. Guerraoui Universal constructions R. Guerraoui Distributed Programming Laboratory Slide 2 2 Universality [Her91] Definition 1 : A type T is universal if, together…
