#include <Condition.h>



REVEAL
  T == Public BRANDED OBJECT;
    }

{;
} /* Condition */.