Manual:ParamType.php