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