tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

krmllib.h (1057B)

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