Symbol of string option * string * (subst option) * string option
(* h:xref, name, subst, definitionURL *)
| LocalVar of string option * string (* h:xref, name *)
- | Meta of string option * string (* h:xref, name *)
+ | Meta of string option * string * meta_subst (* h:xref, name, meta_subst *)
| Num of string option * string (* h:xref, value *)
| Appl of string option * cexpr list (* h:xref, args *)
| Binder of string option *string * decl * cexpr
def = string * cexpr (* name, body *)
and
subst = (UriManager.uri * cexpr) list
+and
+ meta_subst = cexpr option list
;;