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


#ifndef FStar_Preorder_H
#define FStar_Preorder_H

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

typedef void *FStar_Preorder_relation;

typedef void *FStar_Preorder_predicate;

typedef void *FStar_Preorder_reflexive;

typedef void *FStar_Preorder_transitive;

typedef void *FStar_Preorder_preorder_rel;

typedef void *FStar_Preorder_preorder;

typedef void *FStar_Preorder_stable;


#define FStar_Preorder_H_DEFINED
#endif /* FStar_Preorder_H */
