pub fn add_fact<F: TryInto<Fact>>(&mut self, fact: F) -> Result<(), error::Token>
    where
        error::Token: From<<F as TryInto<Fact>>::Error>,
    {
        let fact = fact.try_into()?;
        self.world.facts.insert(fact.convert(&mut self.symbols));
        Ok(())
    }
/// add a fact to the authorizer
add a fact to the authorizer
add a fact to the authorizer
pub fn add_fact<F: TryInto<Fact>>(&mut self, fact: F) -> Result<(), error::Token>
    where
        error::Token: From<<F as TryInto<Fact>>::Error>,
    {
        let fact = fact.try_into()?;
        self.world.facts.insert(fact.convert(&mut self.symbols));
        Ok(())
    }
pub fn add_fact < F : TryInto < Fact > > ( & mut self , fact : F ) -> Result < ( ) , error :: Token > where error :: Token : From < < F as TryInto < Fact > > :: Error > , { let fact = fact . try_into ( ) ? ; self . world . facts . insert ( fact . convert ( & mut self . symbols ) ) ; Ok ( ( ) ) }
add a fact to the authorizer
add a fact to the authorizer
&mut self
fact
F
&mut self
fact
F