better fully scoped names.

Author: aa755

src/declare_translation.ml

@@ -316,7 +316,7 @@ let translateFullName arity (constant : Names.constant) : string =
      @@ Names.canonical_con
      @@ constant) in
   let plstr = Str.split (Str.regexp ("\.")) pstr in
-  (String.concat "__o__" (plstr@[nstr]))
+  (String.concat "_o_" (plstr@[nstr]))
 
 
 let command_constant ?(continuation = default_continuation) arity constant names =