Attempt to document Result/Option.#1476

copybara-service[bot] wants to merge 1 commit into

maingoogle/crubit:mainfrom

test_951353807google/crubit:test_951353807Copy head branch name to clipboard