blob: 1f461f351c571b90f6ece76932372c634595d0cd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#ifndef __KRMLLIB_H
#define __KRMLLIB_H
/******************************************************************************/
/* The all-in-one krmllib.h header */
/******************************************************************************/
/* This is a meta-header that is included by default in KaRaMeL generated
* programs. If you wish to have a more lightweight set of headers, or are
* targeting an environment where controlling these macros yourself is
* important, consider using:
*
* krml -minimal
*
* to disable the inclusion of this file (note: this also disables the default
* argument "-bundle FStar.*"). You can then include the headers of your choice
* one by one, using -add-early-include. */
#include "krml/internal/target.h"
#include "krml/internal/callconv.h"
#include "krml/internal/builtin.h"
#include "krml/internal/debug.h"
#include "krml/internal/types.h"
#include "krml/lowstar_endianness.h"
#include "krml/fstar_int.h"
#endif /* __KRMLLIB_H */
|
