/*
  Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
  Licensed under the Apache 2.0 and MIT Licenses.
*/


#include "FStar_Attributes.h"

bool
FStar_Attributes_uu___is_PpxDerivingShow(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  if (projectee.tag == FStar_Attributes_PpxDerivingShow)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool
FStar_Attributes_uu___is_PpxDerivingShowConstant(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  if (projectee.tag == FStar_Attributes_PpxDerivingShowConstant)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool
FStar_Attributes_uu___is_PpxDerivingYoJson(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  if (projectee.tag == FStar_Attributes_PpxDerivingYoJson)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CInline(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CInline)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool
FStar_Attributes_uu___is_Substitute(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_Substitute)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_Gc(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_Gc)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_Comment(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_Comment)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CPrologue(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CPrologue)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CEpilogue(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CEpilogue)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CConst(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CConst)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CCConv(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CCConv)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool
FStar_Attributes_uu___is_CAbstractStruct(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  if (projectee.tag == FStar_Attributes_CAbstractStruct)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CIfDef(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CIfDef)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CMacro(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CMacro)
  {
    return true;
  }
  else
  {
    return false;
  }
}

bool FStar_Attributes_uu___is_CNoInline(FStar_Attributes___internal_ocaml_attributes projectee)
{
  if (projectee.tag == FStar_Attributes_CNoInline)
  {
    return true;
  }
  else
  {
    return false;
  }
}

