tree 89aa543db82d54791304221851ea0e6493c19600
parent 7860e92a3fc1d3747a7dd19430ab25c506a8446f
author Devon Carew <devoncarew@google.com> 1606616719 -0800
committer Devon Carew <devoncarew@google.com> 1606616719 -0800

add a type annotation to defineOptions()