- [ id = IDENT -> Ident (id, None)
- | id = IDENT; s = explicit_subst -> Ident (id, Some s)
- | u = URI -> Uri (u, None)
- | n = NUMBER -> Num (n, 0)
- | IMPLICIT -> Implicit
- | m = META -> Meta (int_of_string m, [])
- | m = META; s = meta_subst -> Meta (int_of_string m, s)
- | s = sort -> Sort s
- | s = SYMBOL -> Symbol (s, 0)
+ [ id = IDENT -> return_term loc (Ident (id, None))
+ | id = IDENT; s = explicit_subst -> return_term loc (Ident (id, Some s))
+ | u = URI -> return_term loc (Uri (u, None))
+ | n = NUMBER -> return_term loc (Num (n, 0))
+ | IMPLICIT -> return_term loc (Implicit)
+ | m = META -> return_term loc (Meta (int_of_string m, []))
+ | m = META; s = meta_subst -> return_term loc (Meta (int_of_string m, s))
+ | s = sort -> return_term loc (Sort s)
+ | s = SYMBOL -> return_term loc (Symbol (s, 0))