FloatDef.php File Reference

Go to the source code of this file.

Classes
class	Wikimedia\ParamValidator\TypeDef\FloatDef
	Type definition for a floating-point type. More...

Namespaces
namespace	Wikimedia\ParamValidator\TypeDef