Fig. 9From: Mechanized metatheory for a \(\lambda \)-calculus with trust typesFunctions for least upper bound over trust typesBack to article page