grammar.json

{
  "name": "koka",
  "word": "id",
  "rules": {
    "program": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "_semis"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "STRING",
                      "value": "module"
                    },
                    {
                      "type": "SYMBOL",
                      "name": "modulepath"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "ALIAS",
              "content": {
                "type": "CHOICE",
                "members": [
                  {
                    "type": "SEQ",
                    "members": [
                      {
                        "type": "SYMBOL",
                        "name": "_open_brace_"
                      },
                      {
                        "type": "CHOICE",
                        "members": [
                          {
                            "type": "SYMBOL",
                            "name": "_semis"
                          },
                          {
                            "type": "BLANK"
                          }
                        ]
                      },
                      {
                        "type": "ALIAS",
                        "content": {
                          "type": "SEQ",
                          "members": [
                            {
                              "type": "REPEAT",
                              "content": {
                                "type": "SEQ",
                                "members": [
                                  {
                                    "type": "SYMBOL",
                                    "name": "importdecl"
                                  },
                                  {
                                    "type": "SYMBOL",
                                    "name": "_semis"
                                  }
                                ]
                              }
                            },
                            {
                              "type": "REPEAT",
                              "content": {
                                "type": "SEQ",
                                "members": [
                                  {
                                    "type": "SYMBOL",
                                    "name": "fixitydecl"
                                  },
                                  {
                                    "type": "SYMBOL",
                                    "name": "_semis"
                                  }
                                ]
                              }
                            },
                            {
                              "type": "CHOICE",
                              "members": [
                                {
                                  "type": "SYMBOL",
                                  "name": "_topdecls"
                                },
                                {
                                  "type": "BLANK"
                                }
                              ]
                            }
                          ]
                        },
                        "named": true,
                        "value": "modulebody"
                      },
                      {
                        "type": "SYMBOL",
                        "name": "_close_brace_"
                      },
                      {
                        "type": "CHOICE",
                        "members": [
                          {
                            "type": "SYMBOL",
                            "name": "_semis"
                          },
                          {
                            "type": "BLANK"
                          }
                        ]
                      }
                    ]
                  },
                  {
                    "type": "SEQ",
                    "members": [
                      {
                        "type": "CHOICE",
                        "members": [
                          {
                            "type": "SYMBOL",
                            "name": "_semis"
                          },
                          {
                            "type": "BLANK"
                          }
                        ]
                      },
                      {
                        "type": "ALIAS",
                        "content": {
                          "type": "SEQ",
                          "members": [
                            {
                              "type": "REPEAT",
                              "content": {
                                "type": "SEQ",
                                "members": [
                                  {
                                    "type": "SYMBOL",
                                    "name": "importdecl"
                                  },
                                  {
                                    "type": "SYMBOL",
                                    "name": "_semis"
                                  }
                                ]
                              }
                            },
                            {
                              "type": "REPEAT",
                              "content": {
                                "type": "SEQ",
                                "members": [
                                  {
                                    "type": "SYMBOL",
                                    "name": "fixitydecl"
                                  },
                                  {
                                    "type": "SYMBOL",
                                    "name": "_semis"
                                  }
                                ]
                              }
                            },
                            {
                              "type": "CHOICE",
                              "members": [
                                {
                                  "type": "SYMBOL",
                                  "name": "_topdecls"
                                },
                                {
                                  "type": "BLANK"
                                }
                              ]
                            }
                          ]
                        },
                        "named": true,
                        "value": "modulebody"
                      }
                    ]
                  }
                ]
              },
              "named": true,
              "value": "moduledecl"
            }
          ]
        },
        {
          "type": "PREC",
          "value": -1,
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "CHOICE",
                "members": [
                  {
                    "type": "SYMBOL",
                    "name": "_semis"
                  },
                  {
                    "type": "BLANK"
                  }
                ]
              },
              {
                "type": "SYMBOL",
                "name": "statements"
              }
            ]
          }
        }
      ]
    },
    "_open_brace_": {
      "type": "ALIAS",
      "content": {
        "type": "SYMBOL",
        "name": "_open_brace"
      },
      "named": false,
      "value": "{"
    },
    "_close_brace_": {
      "type": "ALIAS",
      "content": {
        "type": "SYMBOL",
        "name": "_close_brace"
      },
      "named": false,
      "value": "}"
    },
    "importdecl": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "pub"
                },
                {
                  "type": "STRING",
                  "value": "public"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "STRING",
          "value": "import"
        },
        {
          "type": "SYMBOL",
          "name": "modulepath"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": "="
                },
                {
                  "type": "SYMBOL",
                  "name": "modulepath"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "modulepath": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "varid"
        },
        {
          "type": "SYMBOL",
          "name": "qvarid"
        }
      ]
    },
    "_semis": {
      "type": "REPEAT1",
      "content": {
        "type": "ALIAS",
        "content": {
          "type": "SYMBOL",
          "name": "_semi"
        },
        "named": false,
        "value": ";"
      }
    },
    "fixitydecl": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "pub"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "fixity"
        },
        {
          "type": "SYMBOL",
          "name": "oplist"
        }
      ]
    },
    "fixity": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "infix"
            },
            {
              "type": "STRING",
              "value": "infixl"
            },
            {
              "type": "STRING",
              "value": "infixr"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "int"
        }
      ]
    },
    "oplist": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "identifier"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "identifier"
              }
            ]
          }
        }
      ]
    },
    "_topdecls": {
      "type": "REPEAT1",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "topdecl"
          },
          {
            "type": "SYMBOL",
            "name": "_semis"
          }
        ]
      }
    },
    "topdecl": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "pub"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "puredecl"
                },
                {
                  "type": "SYMBOL",
                  "name": "aliasdecl"
                },
                {
                  "type": "SYMBOL",
                  "name": "externdecl"
                },
                {
                  "type": "SYMBOL",
                  "name": "typedecl"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "abstract"
            },
            {
              "type": "SYMBOL",
              "name": "typedecl"
            }
          ]
        }
      ]
    },
    "externdecl": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "inline"
                },
                {
                  "type": "STRING",
                  "value": "noinline"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "fipmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "extern"
            },
            {
              "type": "SYMBOL",
              "name": "funid"
            },
            {
              "type": "SYMBOL",
              "name": "externtype"
            },
            {
              "type": "SYMBOL",
              "name": "externbody"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "fipmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "extern"
            },
            {
              "type": "SYMBOL",
              "name": "funid"
            },
            {
              "type": "SYMBOL",
              "name": "externtype"
            },
            {
              "type": "SYMBOL",
              "name": "externbody"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "extern"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "import"
                },
                {
                  "type": "STRING",
                  "value": "include"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "externimpbody"
            }
          ]
        }
      ]
    },
    "_open_round_brace": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "STRING",
            "value": "("
          },
          {
            "type": "CHOICE",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_end_continuation_signal"
              },
              {
                "type": "BLANK"
              }
            ]
          }
        ]
      }
    },
    "externtype": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": ":"
            },
            {
              "type": "SYMBOL",
              "name": "typescheme"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "parameters"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ")"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "annotres"
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        }
      ]
    },
    "externbody": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_brace_"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_semis"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "externstat"
              },
              {
                "type": "SYMBOL",
                "name": "_semis"
              }
            ]
          }
        },
        {
          "type": "SYMBOL",
          "name": "_close_brace_"
        }
      ]
    },
    "externstat": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "externtarget"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "inline"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "string"
        }
      ]
    },
    "externimpbody": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "="
            },
            {
              "type": "SYMBOL",
              "name": "externimp"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_brace_"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "_semis"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "REPEAT1",
              "content": {
                "type": "SEQ",
                "members": [
                  {
                    "type": "SYMBOL",
                    "name": "externimp"
                  },
                  {
                    "type": "SYMBOL",
                    "name": "_semis"
                  }
                ]
              }
            },
            {
              "type": "SYMBOL",
              "name": "_close_brace_"
            }
          ]
        }
      ]
    },
    "externimp": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "externtarget"
            },
            {
              "type": "SYMBOL",
              "name": "varid"
            },
            {
              "type": "SYMBOL",
              "name": "string"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "externtarget"
            },
            {
              "type": "SYMBOL",
              "name": "_open_brace_"
            },
            {
              "type": "REPEAT1",
              "content": {
                "type": "SEQ",
                "members": [
                  {
                    "type": "SYMBOL",
                    "name": "externval"
                  },
                  {
                    "type": "SYMBOL",
                    "name": "_semis"
                  }
                ]
              }
            },
            {
              "type": "SYMBOL",
              "name": "_close_brace_"
            }
          ]
        }
      ]
    },
    "externval": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "varid"
        },
        {
          "type": "STRING",
          "value": "="
        },
        {
          "type": "SYMBOL",
          "name": "string"
        }
      ]
    },
    "externtarget": {
      "type": "CHOICE",
      "members": [
        {
          "type": "STRING",
          "value": "cs"
        },
        {
          "type": "STRING",
          "value": "js"
        },
        {
          "type": "STRING",
          "value": "c"
        }
      ]
    },
    "aliasdecl": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "alias"
        },
        {
          "type": "SYMBOL",
          "name": "typeid"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "typeparams"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "kannot"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "STRING",
          "value": "="
        },
        {
          "type": "SYMBOL",
          "name": "type"
        }
      ]
    },
    "typedecl": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typemod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "type"
            },
            {
              "type": "SYMBOL",
              "name": "typeid"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "kannot"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typebody"
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "structmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "struct"
            },
            {
              "type": "SYMBOL",
              "name": "typeid"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "kannot"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "conparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "named"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "scoped"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "effectmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "effect"
            },
            {
              "type": "SYMBOL",
              "name": "varid"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "kannot"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "opdecls"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "named"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "scoped"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "effectmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "effect"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "kannot"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "operation"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "named"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "effectmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "effect"
            },
            {
              "type": "SYMBOL",
              "name": "varid"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "kannot"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "in"
            },
            {
              "type": "SYMBOL",
              "name": "type"
            },
            {
              "type": "SYMBOL",
              "name": "opdecls"
            }
          ]
        }
      ]
    },
    "typemod": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "structmod"
        },
        {
          "type": "STRING",
          "value": "open"
        },
        {
          "type": "STRING",
          "value": "extend"
        },
        {
          "type": "STRING",
          "value": "co"
        },
        {
          "type": "STRING",
          "value": "rec"
        }
      ]
    },
    "structmod": {
      "type": "CHOICE",
      "members": [
        {
          "type": "STRING",
          "value": "value"
        },
        {
          "type": "STRING",
          "value": "ref"
        },
        {
          "type": "STRING",
          "value": "reference"
        }
      ]
    },
    "effectmod": {
      "type": "CHOICE",
      "members": [
        {
          "type": "STRING",
          "value": "rec"
        },
        {
          "type": "STRING",
          "value": "linear"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "linear"
            },
            {
              "type": "STRING",
              "value": "rec"
            }
          ]
        }
      ]
    },
    "typebody": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_brace_"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_semis"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "constructors"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "_close_brace_"
        }
      ]
    },
    "_open_square_brace": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "STRING",
            "value": "["
          },
          {
            "type": "CHOICE",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_end_continuation_signal"
              },
              {
                "type": "BLANK"
              }
            ]
          }
        ]
      }
    },
    "_open_angle_brace": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "STRING",
            "value": "<"
          },
          {
            "type": "CHOICE",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_end_continuation_signal"
              },
              {
                "type": "BLANK"
              }
            ]
          }
        ]
      }
    },
    "typeid": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "commas"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_square_brace"
            },
            {
              "type": "STRING",
              "value": "]"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_angle_brace"
            },
            {
              "type": "STRING",
              "value": ">"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_angle_brace"
            },
            {
              "type": "STRING",
              "value": "|"
            },
            {
              "type": "STRING",
              "value": ">"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "varid"
        }
      ]
    },
    "_comma": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "STRING",
            "value": ","
          },
          {
            "type": "CHOICE",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_end_continuation_signal"
              },
              {
                "type": "BLANK"
              }
            ]
          }
        ]
      }
    },
    "commas": {
      "type": "REPEAT1",
      "content": {
        "type": "SYMBOL",
        "name": "_comma"
      }
    },
    "constructors": {
      "type": "REPEAT1",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "constructor"
          },
          {
            "type": "SYMBOL",
            "name": "_semis"
          }
        ]
      }
    },
    "constructor": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "pub"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "con"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "conid"
            },
            {
              "type": "SYMBOL",
              "name": "string"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "typeparams"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "conparams"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "conparams": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "SYMBOL",
              "name": "parameters"
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_brace_"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "_semis"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "sconparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "_close_brace_"
            }
          ]
        }
      ]
    },
    "sconparams": {
      "type": "REPEAT1",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "parameter"
          },
          {
            "type": "SYMBOL",
            "name": "_semis"
          }
        ]
      }
    },
    "opdecls": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_brace_"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_semis"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "operations"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "_close_brace_"
        }
      ]
    },
    "operations": {
      "type": "REPEAT1",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "operation"
          },
          {
            "type": "SYMBOL",
            "name": "_semis"
          }
        ]
      }
    },
    "operation": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "pub"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "val"
            },
            {
              "type": "SYMBOL",
              "name": "identifier"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ":"
            },
            {
              "type": "SYMBOL",
              "name": "tatomic"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "pub"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "fun"
                },
                {
                  "type": "STRING",
                  "value": "control"
                },
                {
                  "type": "STRING",
                  "value": "rcontrol"
                },
                {
                  "type": "STRING",
                  "value": "rawctl"
                },
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "controlmod"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "STRING",
                      "value": "ctl"
                    }
                  ]
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "identifier"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "parameters"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ")"
            },
            {
              "type": "STRING",
              "value": ":"
            },
            {
              "type": "SYMBOL",
              "name": "tatomic"
            }
          ]
        }
      ]
    },
    "puredecl": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "CHOICE",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "inline"
                    },
                    {
                      "type": "STRING",
                      "value": "noinline"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "val"
            },
            {
              "type": "SYMBOL",
              "name": "binder"
            },
            {
              "type": "STRING",
              "value": "="
            },
            {
              "type": "SYMBOL",
              "name": "blockexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "CHOICE",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "inline"
                    },
                    {
                      "type": "STRING",
                      "value": "noinline"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "fipmod"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "fun"
            },
            {
              "type": "SYMBOL",
              "name": "funid"
            },
            {
              "type": "SYMBOL",
              "name": "funbody"
            }
          ]
        }
      ]
    },
    "fipalloc": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_round_brace"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "int"
            },
            {
              "type": "STRING",
              "value": "n"
            }
          ]
        },
        {
          "type": "STRING",
          "value": ")"
        }
      ]
    },
    "fipmod": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "fbip"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "fipalloc"
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "fip"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "fipalloc"
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "STRING",
          "value": "tail"
        }
      ]
    },
    "fundecl": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "funid"
        },
        {
          "type": "SYMBOL",
          "name": "funbody"
        }
      ]
    },
    "binder": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "identifier"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "identifier"
            },
            {
              "type": "STRING",
              "value": ":"
            },
            {
              "type": "SYMBOL",
              "name": "type"
            }
          ]
        }
      ]
    },
    "funid": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "identifier"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_square_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "commas"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "]"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "string"
        }
      ]
    },
    "funbody": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "typeparams"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "_open_round_brace"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "pparameters"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "STRING",
          "value": ")"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "bodyexpr"
            },
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": ":"
                },
                {
                  "type": "SYMBOL",
                  "name": "tresult"
                },
                {
                  "type": "CHOICE",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "qualifier"
                    },
                    {
                      "type": "BLANK"
                    }
                  ]
                },
                {
                  "type": "SYMBOL",
                  "name": "block"
                }
              ]
            }
          ]
        }
      ]
    },
    "annotres": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": ":"
        },
        {
          "type": "SYMBOL",
          "name": "tresult"
        }
      ]
    },
    "block": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_brace_"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_semis"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "statements"
        },
        {
          "type": "SYMBOL",
          "name": "_close_brace_"
        }
      ]
    },
    "statements": {
      "type": "REPEAT1",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "statement"
          },
          {
            "type": "SYMBOL",
            "name": "_semis"
          }
        ]
      }
    },
    "statement": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "decl"
        },
        {
          "type": "SYMBOL",
          "name": "withstat"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "withstat"
            },
            {
              "type": "STRING",
              "value": "in"
            },
            {
              "type": "SYMBOL",
              "name": "blockexpr"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "returnexpr"
        },
        {
          "type": "SYMBOL",
          "name": "basicexpr"
        }
      ]
    },
    "decl": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "fun"
            },
            {
              "type": "SYMBOL",
              "name": "fundecl"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "val"
            },
            {
              "type": "SYMBOL",
              "name": "apattern"
            },
            {
              "type": "STRING",
              "value": "="
            },
            {
              "type": "SYMBOL",
              "name": "blockexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "var"
            },
            {
              "type": "SYMBOL",
              "name": "binder"
            },
            {
              "type": "STRING",
              "value": ":="
            },
            {
              "type": "SYMBOL",
              "name": "blockexpr"
            }
          ]
        }
      ]
    },
    "bodyexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "->"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "blockexpr"
        }
      ]
    },
    "blockexpr": {
      "type": "SYMBOL",
      "name": "expr"
    },
    "expr": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "withexpr"
        },
        {
          "type": "SYMBOL",
          "name": "block"
        },
        {
          "type": "SYMBOL",
          "name": "returnexpr"
        },
        {
          "type": "SYMBOL",
          "name": "valexpr"
        },
        {
          "type": "SYMBOL",
          "name": "basicexpr"
        }
      ]
    },
    "basicexpr": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "ifexpr"
        },
        {
          "type": "SYMBOL",
          "name": "matchexpr"
        },
        {
          "type": "SYMBOL",
          "name": "handlerexpr"
        },
        {
          "type": "SYMBOL",
          "name": "fnexpr"
        },
        {
          "type": "SYMBOL",
          "name": "opexpr"
        }
      ]
    },
    "matchexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "match"
        },
        {
          "type": "SYMBOL",
          "name": "expr"
        },
        {
          "type": "SYMBOL",
          "name": "_open_brace_"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_semis"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "matchrules"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "_close_brace_"
        }
      ]
    },
    "fnexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "fn"
        },
        {
          "type": "SYMBOL",
          "name": "funbody"
        }
      ]
    },
    "returnexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "return"
        },
        {
          "type": "SYMBOL",
          "name": "expr"
        }
      ]
    },
    "ifexpr": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "STRING",
            "value": "if"
          },
          {
            "type": "SYMBOL",
            "name": "expr"
          },
          {
            "type": "CHOICE",
            "members": [
              {
                "type": "SEQ",
                "members": [
                  {
                    "type": "STRING",
                    "value": "then"
                  },
                  {
                    "type": "SYMBOL",
                    "name": "blockexpr"
                  },
                  {
                    "type": "CHOICE",
                    "members": [
                      {
                        "type": "SYMBOL",
                        "name": "elifs"
                      },
                      {
                        "type": "BLANK"
                      }
                    ]
                  }
                ]
              },
              {
                "type": "SEQ",
                "members": [
                  {
                    "type": "STRING",
                    "value": "return"
                  },
                  {
                    "type": "SYMBOL",
                    "name": "expr"
                  }
                ]
              }
            ]
          }
        ]
      }
    },
    "elifs": {
      "type": "SEQ",
      "members": [
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "STRING",
                "value": "elif"
              },
              {
                "type": "SYMBOL",
                "name": "expr"
              },
              {
                "type": "STRING",
                "value": "then"
              },
              {
                "type": "SYMBOL",
                "name": "blockexpr"
              }
            ]
          }
        },
        {
          "type": "STRING",
          "value": "else"
        },
        {
          "type": "SYMBOL",
          "name": "blockexpr"
        }
      ]
    },
    "valexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "val"
        },
        {
          "type": "SYMBOL",
          "name": "apattern"
        },
        {
          "type": "STRING",
          "value": "="
        },
        {
          "type": "SYMBOL",
          "name": "blockexpr"
        },
        {
          "type": "STRING",
          "value": "in"
        },
        {
          "type": "SYMBOL",
          "name": "expr"
        }
      ]
    },
    "opexpr": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "prefixexpr"
          },
          {
            "type": "REPEAT",
            "content": {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "qoperator"
                },
                {
                  "type": "SYMBOL",
                  "name": "prefixexpr"
                }
              ]
            }
          }
        ]
      }
    },
    "prefixexpr": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "!"
                },
                {
                  "type": "STRING",
                  "value": "~"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "prefixexpr"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "appexpr"
        }
      ]
    },
    "appexpr": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "FIELD",
              "name": "function",
              "content": {
                "type": "SYMBOL",
                "name": "appexpr"
              }
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "_open_round_brace"
                    },
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "arguments"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "STRING",
                      "value": ")"
                    }
                  ]
                },
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "_open_square_brace"
                    },
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "arguments"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "STRING",
                      "value": "]"
                    }
                  ]
                },
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "block"
                    }
                  ]
                },
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "fnexpr"
                    }
                  ]
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "appexpr"
            },
            {
              "type": "STRING",
              "value": "."
            },
            {
              "type": "FIELD",
              "name": "field",
              "content": {
                "type": "SYMBOL",
                "name": "atom"
              }
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "atom"
        }
      ]
    },
    "atom": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "qidentifier"
        },
        {
          "type": "SYMBOL",
          "name": "qconstructor"
        },
        {
          "type": "SYMBOL",
          "name": "literal"
        },
        {
          "type": "SYMBOL",
          "name": "mask"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "aexprs"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_square_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "cexprs"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "]"
            }
          ]
        }
      ]
    },
    "literal": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "int"
        },
        {
          "type": "SYMBOL",
          "name": "float"
        },
        {
          "type": "SYMBOL",
          "name": "char"
        },
        {
          "type": "SYMBOL",
          "name": "string"
        }
      ]
    },
    "mask": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "mask"
            },
            {
              "type": "STRING",
              "value": "inject"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "behind"
                },
                {
                  "type": "STRING",
                  "value": "other"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "_open_angle_brace"
        },
        {
          "type": "SYMBOL",
          "name": "tbasic"
        },
        {
          "type": "STRING",
          "value": ">"
        }
      ]
    },
    "arguments": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "argument"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "argument"
              }
            ]
          }
        }
      ]
    },
    "argument": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "identifier"
                },
                {
                  "type": "STRING",
                  "value": "="
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "expr"
        }
      ]
    },
    "parameters": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "parameter"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "parameter"
              }
            ]
          }
        }
      ]
    },
    "parameter": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "STRING",
              "value": "pub"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "borrow"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "paramid"
        },
        {
          "type": "STRING",
          "value": ":"
        },
        {
          "type": "SYMBOL",
          "name": "type"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": "="
                },
                {
                  "type": "SYMBOL",
                  "name": "expr"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "paramid": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "identifier"
        },
        {
          "type": "SYMBOL",
          "name": "wildcard"
        }
      ]
    },
    "borrow": {
      "type": "STRING",
      "value": "^"
    },
    "pparameters": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "pparameter"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "pparameter"
              }
            ]
          }
        }
      ]
    },
    "pparameter": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "borrow"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "pattern"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": ":"
                },
                {
                  "type": "SYMBOL",
                  "name": "type"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": "="
                },
                {
                  "type": "SYMBOL",
                  "name": "expr"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "aexprs": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "aexpr"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "aexpr"
              }
            ]
          }
        }
      ]
    },
    "cexprs": {
      "type": "SEQ",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "aexpr"
            },
            {
              "type": "REPEAT",
              "content": {
                "type": "SEQ",
                "members": [
                  {
                    "type": "SYMBOL",
                    "name": "_comma"
                  },
                  {
                    "type": "SYMBOL",
                    "name": "aexpr"
                  }
                ]
              }
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_comma"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "aexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "expr"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "annot"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "annot": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": ":"
        },
        {
          "type": "SYMBOL",
          "name": "typescheme"
        }
      ]
    },
    "qoperator": {
      "type": "SYMBOL",
      "name": "op"
    },
    "qidentifier": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "qvarid"
        },
        {
          "type": "SYMBOL",
          "name": "qidop"
        },
        {
          "type": "SYMBOL",
          "name": "identifier"
        }
      ]
    },
    "identifier": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "varid"
        },
        {
          "type": "SYMBOL",
          "name": "idop"
        }
      ]
    },
    "qvarid": {
      "type": "SYMBOL",
      "name": "qid"
    },
    "varid": {
      "type": "SYMBOL",
      "name": "id"
    },
    "qconstructor": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "conid"
        },
        {
          "type": "SYMBOL",
          "name": "qconid"
        }
      ]
    },
    "matchrules": {
      "type": "REPEAT1",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "matchrule"
          },
          {
            "type": "SYMBOL",
            "name": "_semis"
          }
        ]
      }
    },
    "matchrule": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "patterns"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": "|"
                },
                {
                  "type": "SYMBOL",
                  "name": "expr"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "STRING",
          "value": "->"
        },
        {
          "type": "SYMBOL",
          "name": "blockexpr"
        }
      ]
    },
    "patterns": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "pattern"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "pattern"
              }
            ]
          }
        }
      ]
    },
    "apatterns": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "apattern"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "apattern"
              }
            ]
          }
        }
      ]
    },
    "apattern": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "pattern"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "annot"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "pattern": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "identifier"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "as"
                    },
                    {
                      "type": "SYMBOL",
                      "name": "pattern"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "qconstructor"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "_open_round_brace"
                    },
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "patargs"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "STRING",
                      "value": ")"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "apatterns"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_square_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "apatterns"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "]"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "literal"
        },
        {
          "type": "SYMBOL",
          "name": "wildcard"
        }
      ]
    },
    "patargs": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "patarg"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "patarg"
              }
            ]
          }
        }
      ]
    },
    "patarg": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "identifier"
                },
                {
                  "type": "STRING",
                  "value": "="
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "apattern"
        }
      ]
    },
    "handlerexpr": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "CHOICE",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "override"
                    },
                    {
                      "type": "STRING",
                      "value": "named"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "handler"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "witheff"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "opclauses"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "CHOICE",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "override"
                    },
                    {
                      "type": "STRING",
                      "value": "named"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": "handle"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "witheff"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "expr"
            },
            {
              "type": "SYMBOL",
              "name": "opclauses"
            }
          ]
        }
      ]
    },
    "witheff": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_angle_brace"
        },
        {
          "type": "SYMBOL",
          "name": "anntype"
        },
        {
          "type": "STRING",
          "value": ">"
        }
      ]
    },
    "withstat": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "with"
            },
            {
              "type": "SYMBOL",
              "name": "basicexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "with"
            },
            {
              "type": "SYMBOL",
              "name": "binder"
            },
            {
              "type": "STRING",
              "value": "<-"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "basicexpr"
                },
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "witheff"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "SYMBOL",
                      "name": "opclause"
                    }
                  ]
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "with"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "override"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "witheff"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "opclause"
            }
          ]
        }
      ]
    },
    "withexpr": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "withstat"
        },
        {
          "type": "STRING",
          "value": "in"
        },
        {
          "type": "SYMBOL",
          "name": "blockexpr"
        }
      ]
    },
    "opclauses": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_brace_"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_semis"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "opclausex"
                },
                {
                  "type": "REPEAT",
                  "content": {
                    "type": "SEQ",
                    "members": [
                      {
                        "type": "SYMBOL",
                        "name": "_semis"
                      },
                      {
                        "type": "SYMBOL",
                        "name": "opclausex"
                      }
                    ]
                  }
                },
                {
                  "type": "SYMBOL",
                  "name": "_semis"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "_close_brace_"
        }
      ]
    },
    "opclausex": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "finally"
            },
            {
              "type": "SYMBOL",
              "name": "bodyexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "initially"
            },
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "SYMBOL",
              "name": "opparam"
            },
            {
              "type": "STRING",
              "value": ")"
            },
            {
              "type": "SYMBOL",
              "name": "bodyexpr"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "opclause"
        }
      ]
    },
    "opclause": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "val"
            },
            {
              "type": "SYMBOL",
              "name": "qidentifier"
            },
            {
              "type": "STRING",
              "value": "="
            },
            {
              "type": "SYMBOL",
              "name": "blockexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "val"
            },
            {
              "type": "SYMBOL",
              "name": "qidentifier"
            },
            {
              "type": "STRING",
              "value": ":"
            },
            {
              "type": "SYMBOL",
              "name": "type"
            },
            {
              "type": "STRING",
              "value": "="
            },
            {
              "type": "SYMBOL",
              "name": "blockexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "fun"
            },
            {
              "type": "SYMBOL",
              "name": "qidentifier"
            },
            {
              "type": "SYMBOL",
              "name": "opparams"
            },
            {
              "type": "SYMBOL",
              "name": "bodyexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "STRING",
                  "value": "control"
                },
                {
                  "type": "STRING",
                  "value": "rcontrol"
                },
                {
                  "type": "STRING",
                  "value": "rawctl"
                },
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SYMBOL",
                          "name": "controlmod"
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    },
                    {
                      "type": "STRING",
                      "value": "ctl"
                    }
                  ]
                }
              ]
            },
            {
              "type": "SYMBOL",
              "name": "qidentifier"
            },
            {
              "type": "SYMBOL",
              "name": "opparams"
            },
            {
              "type": "SYMBOL",
              "name": "bodyexpr"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "return"
            },
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "SYMBOL",
              "name": "opparam"
            },
            {
              "type": "STRING",
              "value": ")"
            },
            {
              "type": "SYMBOL",
              "name": "bodyexpr"
            }
          ]
        }
      ]
    },
    "controlmod": {
      "type": "CHOICE",
      "members": [
        {
          "type": "STRING",
          "value": "final"
        },
        {
          "type": "STRING",
          "value": "raw"
        }
      ]
    },
    "opparams": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_round_brace"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "opparam"
                },
                {
                  "type": "REPEAT",
                  "content": {
                    "type": "SEQ",
                    "members": [
                      {
                        "type": "SYMBOL",
                        "name": "_comma"
                      },
                      {
                        "type": "SYMBOL",
                        "name": "opparam"
                      }
                    ]
                  }
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "STRING",
          "value": ")"
        }
      ]
    },
    "opparam": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "paramid"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": ":"
                },
                {
                  "type": "SYMBOL",
                  "name": "type"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "tbinders": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "tbinder"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "tbinder"
              }
            ]
          }
        }
      ]
    },
    "tbinder": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "varid"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "kannot"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "typescheme": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "someforalls"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "tarrow"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "qualifier"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "type": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": "forall"
                },
                {
                  "type": "SYMBOL",
                  "name": "typeparams"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "tarrow"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "qualifier"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "someforalls": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "some"
            },
            {
              "type": "SYMBOL",
              "name": "typeparams"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "forall"
                    },
                    {
                      "type": "SYMBOL",
                      "name": "typeparams"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "forall"
            },
            {
              "type": "SYMBOL",
              "name": "typeparams"
            }
          ]
        }
      ]
    },
    "typeparams": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_open_angle_brace"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "tbinders"
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "STRING",
          "value": ">"
        }
      ]
    },
    "qualifier": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "with"
        },
        {
          "type": "SYMBOL",
          "name": "_open_round_brace"
        },
        {
          "type": "SYMBOL",
          "name": "predicates"
        },
        {
          "type": "STRING",
          "value": ")"
        }
      ]
    },
    "predicates": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "predicate"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "predicate"
              }
            ]
          }
        }
      ]
    },
    "predicate": {
      "type": "SYMBOL",
      "name": "typeapp"
    },
    "tarrow": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "tatomic"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "STRING",
                  "value": "->"
                },
                {
                  "type": "SYMBOL",
                  "name": "tresult"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "tresult": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "tatomic"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "tbasic"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "tatomic": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "tbasic"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_angle_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "targuments"
                    },
                    {
                      "type": "CHOICE",
                      "members": [
                        {
                          "type": "SEQ",
                          "members": [
                            {
                              "type": "STRING",
                              "value": "|"
                            },
                            {
                              "type": "SYMBOL",
                              "name": "tatomic"
                            }
                          ]
                        },
                        {
                          "type": "BLANK"
                        }
                      ]
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ">"
            }
          ]
        }
      ]
    },
    "tbasic": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "typeapp"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "tparams"
                },
                {
                  "type": "BLANK"
                }
              ]
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_square_brace"
            },
            {
              "type": "SYMBOL",
              "name": "anntype"
            },
            {
              "type": "STRING",
              "value": "]"
            }
          ]
        }
      ]
    },
    "typeapp": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "typecon"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "_open_angle_brace"
                },
                {
                  "type": "CHOICE",
                  "members": [
                    {
                      "type": "SYMBOL",
                      "name": "targuments"
                    },
                    {
                      "type": "BLANK"
                    }
                  ]
                },
                {
                  "type": "STRING",
                  "value": ">"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "typecon": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "varid"
        },
        {
          "type": "SYMBOL",
          "name": "qvarid"
        },
        {
          "type": "SYMBOL",
          "name": "wildcard"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "SYMBOL",
              "name": "commas"
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_square_brace"
            },
            {
              "type": "STRING",
              "value": "]"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "STRING",
              "value": "->"
            },
            {
              "type": "STRING",
              "value": ")"
            }
          ]
        }
      ]
    },
    "tparams": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "tparam"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "tparam"
              }
            ]
          }
        }
      ]
    },
    "tparam": {
      "type": "SEQ",
      "members": [
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SEQ",
              "members": [
                {
                  "type": "SYMBOL",
                  "name": "identifier"
                },
                {
                  "type": "STRING",
                  "value": ":"
                }
              ]
            },
            {
              "type": "BLANK"
            }
          ]
        },
        {
          "type": "SYMBOL",
          "name": "anntype"
        }
      ]
    },
    "targuments": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "anntype"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "anntype"
              }
            ]
          }
        }
      ]
    },
    "anntype": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "type"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "SYMBOL",
              "name": "kannot"
            },
            {
              "type": "BLANK"
            }
          ]
        }
      ]
    },
    "kannot": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "::"
        },
        {
          "type": "SYMBOL",
          "name": "kind"
        }
      ]
    },
    "kind": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "_open_round_brace"
            },
            {
              "type": "SYMBOL",
              "name": "kinds"
            },
            {
              "type": "STRING",
              "value": ")"
            },
            {
              "type": "STRING",
              "value": "->"
            },
            {
              "type": "SYMBOL",
              "name": "katom"
            }
          ]
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "SYMBOL",
              "name": "katom"
            },
            {
              "type": "CHOICE",
              "members": [
                {
                  "type": "SEQ",
                  "members": [
                    {
                      "type": "STRING",
                      "value": "->"
                    },
                    {
                      "type": "SYMBOL",
                      "name": "kind"
                    }
                  ]
                },
                {
                  "type": "BLANK"
                }
              ]
            }
          ]
        }
      ]
    },
    "kinds": {
      "type": "SEQ",
      "members": [
        {
          "type": "SYMBOL",
          "name": "kind"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "SEQ",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_comma"
              },
              {
                "type": "SYMBOL",
                "name": "kind"
              }
            ]
          }
        }
      ]
    },
    "katom": {
      "type": "SYMBOL",
      "name": "conid"
    },
    "_symbols": {
      "type": "PATTERN",
      "value": "[$%&*+@!\\\\^~=.\\-:?|<>]+|\\/"
    },
    "conid": {
      "type": "PATTERN",
      "value": "[A-Z][a-zA-Z0-9_-]*'*"
    },
    "id": {
      "type": "PATTERN",
      "value": "[a-z][a-zA-Z0-9_-]*'*"
    },
    "escape": {
      "type": "IMMEDIATE_TOKEN",
      "content": {
        "type": "PATTERN",
        "value": "\\\\([nrt\\\\\"']|x[0-9a-fA-F]{2}|u[0-9a-fA-F]{4}|U[0-9a-fA-F]{6})"
      }
    },
    "linecomment": {
      "type": "TOKEN",
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "STRING",
            "value": "//"
          },
          {
            "type": "PATTERN",
            "value": ".*"
          }
        ]
      }
    },
    "blockcomment": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "/*"
        },
        {
          "type": "REPEAT",
          "content": {
            "type": "CHOICE",
            "members": [
              {
                "type": "PATTERN",
                "value": "[^*]|\\*[^/]"
              },
              {
                "type": "SYMBOL",
                "name": "blockcomment"
              }
            ]
          }
        },
        {
          "type": "STRING",
          "value": "*/"
        }
      ]
    },
    "float": {
      "type": "CHOICE",
      "members": [
        {
          "type": "PATTERN",
          "value": "-?(0|[1-9](_?[0-9]+(_[0-9]+)*)?)((\\.[0-9]+(_[0-9]+)*)?[eE][-+]?[0-9]+|\\.[0-9]+(_[0-9]+)*)"
        },
        {
          "type": "PATTERN",
          "value": "-?0[xX][0-9a-fA-F]+(_[0-9a-fA-F]+)*((\\.[0-9a-fA-F]+(_[0-9a-fA-F]+)*)?[pP][-+]?[0-9]+|\\.[0-9a-fA-F]+(_[0-9a-fA-F]+)*)"
        }
      ]
    },
    "int": {
      "type": "CHOICE",
      "members": [
        {
          "type": "PATTERN",
          "value": "-?(0|[1-9](_?[0-9]+(_[0-9]+)*)?)"
        },
        {
          "type": "PATTERN",
          "value": "-?0[xX][0-9a-fA-F]+(_[0-9a-fA-F]+)*"
        }
      ]
    },
    "qconid": {
      "type": "PATTERN",
      "value": "([a-z][a-zA-Z0-9_-]*'*\\/)+[A-Z][a-zA-Z0-9_-]*'*"
    },
    "qid": {
      "type": "PATTERN",
      "value": "([a-z][a-zA-Z0-9_-]*'*\\/)+[a-z][a-zA-Z0-9_-]*'*"
    },
    "qidop": {
      "type": "PATTERN",
      "value": "([a-z][a-zA-Z0-9_-]*'*\\/)+\\(([$%&*+@!\\\\^~=.\\-:?|<>]+|\\/)\\)"
    },
    "idop": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "("
        },
        {
          "type": "IMMEDIATE_TOKEN",
          "content": {
            "type": "PATTERN",
            "value": "[$%&*+@!\\\\^~=.\\-:?|<>]+|\\/"
          }
        },
        {
          "type": "IMMEDIATE_TOKEN",
          "content": {
            "type": "STRING",
            "value": ")"
          }
        }
      ]
    },
    "op": {
      "type": "PREC_RIGHT",
      "value": 0,
      "content": {
        "type": "SEQ",
        "members": [
          {
            "type": "SYMBOL",
            "name": "_symbols"
          },
          {
            "type": "CHOICE",
            "members": [
              {
                "type": "SYMBOL",
                "name": "_end_continuation_signal"
              },
              {
                "type": "BLANK"
              }
            ]
          }
        ]
      }
    },
    "wildcard": {
      "type": "PATTERN",
      "value": "_[a-zA-Z0-9_-]*"
    },
    "string": {
      "type": "CHOICE",
      "members": [
        {
          "type": "SYMBOL",
          "name": "_raw_string"
        },
        {
          "type": "SEQ",
          "members": [
            {
              "type": "STRING",
              "value": "\""
            },
            {
              "type": "REPEAT",
              "content": {
                "type": "CHOICE",
                "members": [
                  {
                    "type": "IMMEDIATE_TOKEN",
                    "content": {
                      "type": "PATTERN",
                      "value": "[^\\\\\"]+"
                    }
                  },
                  {
                    "type": "SYMBOL",
                    "name": "escape"
                  }
                ]
              }
            },
            {
              "type": "IMMEDIATE_TOKEN",
              "content": {
                "type": "STRING",
                "value": "\""
              }
            }
          ]
        }
      ]
    },
    "char": {
      "type": "SEQ",
      "members": [
        {
          "type": "STRING",
          "value": "'"
        },
        {
          "type": "CHOICE",
          "members": [
            {
              "type": "IMMEDIATE_TOKEN",
              "content": {
                "type": "PATTERN",
                "value": "[^\\\\']"
              }
            },
            {
              "type": "SYMBOL",
              "name": "escape"
            }
          ]
        },
        {
          "type": "IMMEDIATE_TOKEN",
          "content": {
            "type": "STRING",
            "value": "'"
          }
        }
      ]
    }
  },
  "extras": [
    {
      "type": "PATTERN",
      "value": "[ \\t\\r\\n]"
    },
    {
      "type": "SYMBOL",
      "name": "linecomment"
    },
    {
      "type": "SYMBOL",
      "name": "blockcomment"
    }
  ],
  "conflicts": [
    [
      "prefixexpr",
      "appexpr"
    ],
    [
      "binder",
      "pattern"
    ],
    [
      "puredecl",
      "fundecl"
    ]
  ],
  "precedences": [],
  "externals": [
    {
      "type": "SYMBOL",
      "name": "_open_brace"
    },
    {
      "type": "SYMBOL",
      "name": "_close_brace"
    },
    {
      "type": "SYMBOL",
      "name": "_semi"
    },
    {
      "type": "SYMBOL",
      "name": "_raw_string"
    },
    {
      "type": "SYMBOL",
      "name": "_end_continuation_signal"
    }
  ],
  "inline": [],
  "supertypes": []
}