pub fn with_direct(direct: Id) -> Self {
        let mut consequences = Self::none();
        consequences.direct.insert(direct);
        consequences
    }
/// Constructs a `Consequences` with the given direct consequence.
Constructs a `Consequences` with the given direct consequence.
Constructs a ` Consequences ` with the given direct consequence .
pub fn with_direct(direct: Id) -> Self {
        let mut consequences = Self::none();
        consequences.direct.insert(direct);
        consequences
    }
pub fn with_direct ( direct : Id ) -> Self { let mut consequences = Self :: none ( ) ; consequences . direct . insert ( direct ) ; consequences }
Constructs a `Consequences` with the given direct consequence.
Constructs a ` Consequences ` with the given direct consequence .
direct
Id
direct
Id