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::absurd

pub fn absurd<P>(_false: &Proof<False>) -> Proof<P>