hax_lib/
proc_macros.rs

1//! This module re-exports macros from `hax-lib-macros` since a
2//! proc-macro crate cannot export anything but procedural macros.
3
4pub use hax_lib_macros::{
5    attributes, decreases, ensures, exclude, impl_fn_decoration, include, lemma, loop_decreases,
6    loop_invariant, opaque, opaque_type, refinement_type, requires, trait_fn_decoration,
7    transparent,
8};
9
10pub use hax_lib_macros::{
11    process_init, process_read, process_write, protocol_messages, pv_constructor, pv_handwritten,
12};
13
14include!(concat!(env!("OUT_DIR"), "/proc_macros_generated.rs"));