departed-0.1.0
- departed 0.1.0
- Docs.rs crate page
- MIT
- Links
- Repository
- Crates.io
- Source
- Owners
- jonathanrlouie
- Dependencies
- text_io ^0.1.8 dev
- Versions
Platform
Feature flags

Rust

☰

departed::logic

[−][src]Function departed::logic::contradicts

pub fn contradicts<P>(_p: &Proof<P>, _not_p: &Proof<Not<P>>) -> Proof<False>