Fig. 2From: Mechanized metatheory for a \(\lambda \)-calculus with trust typesSyntax of trust typesBack to article page