{
  "type": "FirescriptTyping",
  "name": "num"
}