Your search +path:proptest +path:strategy +path:trait +path:. +path:strategy +path:. +path:html did not match any files. Suggestions: