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


#ifndef FStar_BigOps_H
#define FStar_BigOps_H

#include <inttypes.h>
#include "krmllib.h"
#include "krml/internal/compat.h"
#include "krml/internal/target.h"

typedef void *FStar_BigOps_big_and_;

typedef void *FStar_BigOps_big_and;

typedef void *FStar_BigOps_big_or_;

typedef void *FStar_BigOps_big_or;

typedef void *FStar_BigOps_symmetric;

typedef void *FStar_BigOps_reflexive;

typedef void *FStar_BigOps_anti_reflexive;

typedef void *FStar_BigOps_pairwise_and_;

typedef void *FStar_BigOps_pairwise_and;

typedef void *FStar_BigOps_pairwise_or_;

typedef void *FStar_BigOps_pairwise_or;


#define FStar_BigOps_H_DEFINED
#endif /* FStar_BigOps_H */
