661   using BoolT = PrimConv<PT_Bool>::T;  in Inv()  local
665   Boolean::inv(BoolT::from(Val, Bits), &R);  in Inv()
667   S.Stk.push<BoolT>(R);  in Inv()
898   using BoolT = PrimConv<PT_Bool>::T;  in CmpHelper()  local
901   S.Stk.push<BoolT>(BoolT::from(Fn(LHS.compare(RHS))));  in CmpHelper()
946   using BoolT = PrimConv<PT_Bool>::T;  variable
959     S.Stk.push<BoolT>(BoolT::from(Fn(Compare(VL, VR))));
966   using BoolT = PrimConv<PT_Bool>::T;  variable
971     S.Stk.push<BoolT>(BoolT::from(Fn(ComparisonCategoryResult::Equal)));
1002     S.Stk.push<BoolT>(BoolT::from(Fn(ComparisonCategoryResult::Unordered)));
1017     S.Stk.push<BoolT>(BoolT::from(Fn(Compare(VL, VR))));