1/// Exact native result rejected by an operation's completion contract. 2pub trait Returned: Copy + Eq { 3 type Value; 4 type Invalid; 5 6 fn value(value: Self::Value) -> Self; 7 fn error(code: crate::Errno) -> Self; 8 fn invalid(invalid: Self::Invalid) -> Self; 9}