Currently missing: -Show declaration -Infer type
Currently missing:
-Show declaration
-Infer type