标识符构造

在模板中，可以使用反引号表示法构造标识符：

template typedef(name: untyped, typ: typedesc) =
  type
    `T name`* {.inject.} = typ
    `P name`* {.inject.} = ref `T name`
 
typedef(myint, int)
var x: PMyInt

示例中 name 用 myint 实例化，所以 T name 变为 Tmyint 。