1signature x64_progLib = 2sig 3 val x64_spec: string -> Thm.thm 4 val x64_spec_code: string quotation -> Thm.thm list 5end 6