section ‹Default Code Generator Setup for the Isabelle Collection Framework› theory Code_Target_ICF imports "HOL-Library.Code_Target_Numeral" Native_Word.Code_Target_Int_Bit begin end