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


#ifndef FStar_FunctionalExtensionality_H
#define FStar_FunctionalExtensionality_H

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

typedef void *FStar_FunctionalExtensionality_feq;

typedef void *FStar_FunctionalExtensionality_is_restricted;

typedef void *FStar_FunctionalExtensionality_arrow_g;

KRML_DEPRECATED("Use arrow_g instead")

typedef void *FStar_FunctionalExtensionality_efun_g;

typedef void *FStar_FunctionalExtensionality_feq_g;

typedef void *FStar_FunctionalExtensionality_is_restricted_g;

typedef void *FStar_FunctionalExtensionality_restricted_g_t;

typedef void *FStar_FunctionalExtensionality_op_Hat_Subtraction_Greater_Greater;


#define FStar_FunctionalExtensionality_H_DEFINED
#endif /* FStar_FunctionalExtensionality_H */
