Skip to main content

oxilean_std/decidable/
ledecision_traits.rs

1//! # LeDecision - Trait Implementations
2//!
3//! This module contains trait implementations for `LeDecision`.
4//!
5//! ## Implemented Traits
6//!
7//! - `Decidable`
8//!
9//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)
10
11use super::functions::Decidable;
12use super::types::{Decision, LeDecision};
13
14impl<T: PartialOrd> Decidable for LeDecision<T> {
15    type Proof = ();
16    fn decide(&self) -> Decision<()> {
17        if self.lhs <= self.rhs {
18            Decision::IsTrue(())
19        } else {
20            Decision::IsFalse("not ≤".to_string())
21        }
22    }
23}