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