OCamlPro/typerex — Issue #9: Merge C-o d and C-o a ? 
Author: dbuenzli
Created: 2012-02-23 00:28:47+00:00
State: open

When I'm on a type definition of a value or its definition, `C-o d` does nothing.

I suggest it should just do the behaviour of `C-o a` and the latter key binding should be suppressed. First it makes it quicker to browse from a value usage to it's actual implementation (type 2x `C-o d`), second it suppresses one key binding (less cognitive burden).

This means that `C-o d` is "goto to definition" or if on a definition, "goto to alternate definition (if any)". Maybe hard to grasp by words, but not by hands.