1
theory Setup
2
imports Main
3
uses "../../../antiquote_setup.ML"
4
begin
5
6
ML_val {* Code_Target.code_width := 74 *}
7
8
end