Characteristic predicate Constants::SyntacticConstants::BinaryConstant::BinaryConstant

BinaryConstant()