coinduction/
lib.rs

1/// Attribute macro for marking trait definitions that will support coinduction.
2///
3/// This is currently an empty attribute macro that serves as a placeholder for future
4/// implementation of coinductive trait definition functionality.
5pub use coinduction_macro::traitdef;
6
7/// Attribute macro for marking type definitions involved in circular references.
8///
9/// This is currently an empty attribute macro that serves as a placeholder for future
10/// implementation of circular type reference functionality.
11pub use coinduction_macro::typedef;
12
13/// Attribute macro for enabling coinductive reasoning on specific items.
14///
15/// This is currently an empty attribute macro that serves as a placeholder for future
16/// implementation of coinductive reasoning functionality.
17pub use coinduction_macro::coinduction;
18
19#[doc(hidden)]
20pub use coinduction_macro::__next_step;
21
22#[doc(hidden)]
23/// Trait for referencing types with markers
24pub trait TypeRef<const RANDOM: u64, const IX0: usize, const IX: usize, ARG: ?Sized> {
25    type Type: ?Sized;
26}