Module Float_syntax_plugin

module Float_syntax : sig ... end