gdp_rs 0.1.1

A library for implementing Ghosts-of-departed-proofs pattern in rust
Documentation
1
2
3
4
5
6
7
8
9
//! I define few implementations of [`Predicate`](super::Predicate).
//!

pub mod conditional;

pub mod all_of;

/// I define [`Void`](()) predicate.
pub mod void;