let value_of_term = function
| Ast.Num (s, _) -> NumValue s
- | Ast.Ident (s, None) -> StringValue (Var s)
+ | Ast.Ident (s, (* `Ambiguous? *) _) -> StringValue (Var s)
| t -> TermValue t
let term_of_value = function
- | NumValue s -> Ast.Num (s, 0)
- | StringValue (Ident s) -> Ast.Ident (s, None)
+ | NumValue s -> Ast.Num (s, None)
+ | StringValue (Ident s) -> Ast.Ident (s, `Ambiguous)
| TermValue t -> t
| _ -> assert false (* TO BE UNDERSTOOD *)