pub trait Decidable: Prop {
// Required method
fn decide() -> ExcM<Self>;
}
Expand description
Implemented by decidable types.
pub trait Decidable: Prop {
// Required method
fn decide() -> ExcM<Self>;
}
Implemented by decidable types.