On 6/14/07, Christian Stork <caml-list@cstork.org> wrote:
> I'd like to construct a quotation that acts as the following pattern.
>
>     Ast.StTyp (_, (Ast.TyDcl (_, name, params, t, _)))

The TyDcl node is the only node that does not have a syntax equivalence.

Of course you can have a complete type declaration in a quotation but
holes cannot be used everywhere, so you have to use the node directly.

-- 
Nicolas Pouillard