Added the optional type to @requires