DSL1NumberedPolynomialTermSignatureBuilder

constructor()