| NumValue of string
| OptValue of value option
| ListValue of value list
- | DisambiguationValue of (Stdpp.location * string option * string option)
+ (* optional name of Ast.Symbols that we want to contain the interpretation of this literal
+ * location of the literal we are parsing
+ * optional uri, optional desc *)
+ | DisambiguationValue of (string option * Stdpp.location * string option * string option)
type value_type =
| TermType of int (* the level of the expected term *)