Structure machine_ieeeSyntax

Source File	Identifier index	Theory binding index

signature machine_ieeeSyntax =
sig
   structure fp16Syntax : fpSyntax
   structure fp32Syntax : fpSyntax
   structure fp64Syntax : fpSyntax
end

Source File	Identifier index	Theory binding index