1signature x64_Lib = 2sig 3 include Abbrev 4 5 val x64_decode : string -> thm 6 val x64_step : string -> thm 7 8 val x64_test : string -> (string * string * string) list -> unit 9 10end 11