1structure fp64Syntax :> fpSyntax = 2 fpSyntax (val thy = "machine_ieee" 3 val fp = "fp64" 4 val ty = wordsSyntax.mk_int_word_type 64) 5