structure SML_Adjustments
= struct
    val _ = Control.Print.printDepth  := 100
    val _ = Control.Print.printLength := 100
    val _ = Control.Print.stringDepth := 1000
    val _ = Control.polyEqWarn        := false
end