Hey all! I'm trying to construct a type declaration structure item using the metaquotation in ppx_tools and I have two variables containing a string with the name of the type and a Parsetree.core_type, like so: let name = "some_type" in let typ = [%type: string] in [%stri type [%??? name] = [%t typ] ] Is there a ??? that lets me do this? Am I going about it all wrong somehow? Or do I need to do something like: open Ast_helper let name = "some_type" in let typ = [%type: string] in let type_decl = Type.mk ~manifest:typ { txt=name ; loc = !default_loc} in Str.type_ Recursive [type_decl] Best, Jonathan