Struct tract_proxy::Fact

pub struct Fact(/* private fields */);

Trait Implementations

impl AsFact<Model, Fact> for &str

fn as_fact(&self, model: &mut Model) -> Result<Bow<'_, Fact>>

impl AsFact<Model, Fact> for Fact

fn as_fact(&self, _model: &mut Model) -> Result<Bow<'_, Fact>>

impl Clone for Fact

fn clone(&self) -> Fact

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Fact

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Fact

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Drop for Fact

fn drop(&mut self)

Executes the destructor for this type.

impl FactInterface for Fact