HomeIsabelle/Phabricator

feat(SpecCheck/Show) add parentheses for option SOME case

Description

feat(SpecCheck/Show) add parentheses for option SOME case

Details

Provenance
kappelmannAuthored on
Parents
rAFPb4c2b0dc9ede: merged
Branches
Unknown
Tags
Unknown