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