1signature x64_stepLib = 2sig 3 val x64_CONV: Conv.conv 4 val x64_step: Term.term list -> Thm.thm 5 val x64_step_hex: string -> Thm.thm 6 val x64_step_code: string quotation -> Thm.thm list 7 val x64_decode: Term.term list -> Thm.thm 8 val x64_decode_hex: string -> Thm.thm 9 val x64_decode_code: string quotation -> Thm.thm list 10end 11