use crate::{DeonticError, Verdict};
use deep_causality::{Datable, SpaceTemporal, Spatial, Symbolic, Temporal};
#[allow(clippy::type_complexity)]
pub trait DeonticExplainable<D, S, T, ST, SYM, VS, VT>
where
D: Datable + Clone,
S: Spatial<VS> + Clone,
T: Temporal<VT> + Clone,
ST: SpaceTemporal<VS, VT> + Clone,
SYM: Symbolic + Clone,
VS: Clone,
VT: Clone,
{
fn explain_verdict(&self, verdict: &Verdict) -> Result<String, DeonticError>;
}