:let %language ElabReflection
%runElab getVis `{fooPriv}
%runElab getVis `{fooExp}
%runElab getVis `{fooPubExp}
%runElab getVis `{foo}
:q
