| NumValue of string
| OptValue of value option
| ListValue of value list
- | LocValue of Stdpp.location
+ | DisambiguationValue of (string option * Stdpp.location * string option * string option)
type value_type =
| TermType of int (* the level of the expected term *)