Check of module strict types system that return statements of function equals documentation comment return section types