/*
  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
)
{
  return projectee.tag == FStar_Attributes_PpxDerivingShow;
}

bool
FStar_Attributes_uu___is_PpxDerivingShowConstant(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  return projectee.tag == FStar_Attributes_PpxDerivingShowConstant;
}

bool
FStar_Attributes_uu___is_PpxDerivingYoJson(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  return projectee.tag == FStar_Attributes_PpxDerivingYoJson;
}

bool FStar_Attributes_uu___is_CInline(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CInline;
}

bool
FStar_Attributes_uu___is_Substitute(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_Substitute;
}

bool FStar_Attributes_uu___is_Gc(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_Gc;
}

bool FStar_Attributes_uu___is_Comment(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_Comment;
}

bool FStar_Attributes_uu___is_CPrologue(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CPrologue;
}

bool FStar_Attributes_uu___is_CEpilogue(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CEpilogue;
}

bool FStar_Attributes_uu___is_CConst(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CConst;
}

bool FStar_Attributes_uu___is_CCConv(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CCConv;
}

bool
FStar_Attributes_uu___is_CAbstractStruct(
  FStar_Attributes___internal_ocaml_attributes projectee
)
{
  return projectee.tag == FStar_Attributes_CAbstractStruct;
}

bool FStar_Attributes_uu___is_CIfDef(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CIfDef;
}

bool FStar_Attributes_uu___is_CMacro(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CMacro;
}

bool FStar_Attributes_uu___is_CNoInline(FStar_Attributes___internal_ocaml_attributes projectee)
{
  return projectee.tag == FStar_Attributes_CNoInline;
}

