type ('alias,'ast_thing,'metasenv,'subst,'thing,'ugraph) disamb_result =
| Disamb_success of ('ast_thing * 'metasenv * 'subst * 'thing * 'ugraph) list
| Disamb_failure of
- (('ast_thing * 'alias option * Stdpp.location * string) list * Stdpp.location) list *
(('ast_thing * 'alias option * Stdpp.location * string) list * Stdpp.location) list
-exception NoWellTypedInterpretation of
- ((Stdpp.location * string) list *
- (Stdpp.location * string) list)
+exception NoWellTypedInterpretation of (Stdpp.location * string)
exception PathNotWellFormed