Trait FactCell 

trait FactCell {
    // Required method
    fn to_string(&self, location_table: &PoloniusLocationTable) -> String;
}

Required Methods

fn to_string(&self, location_table: &PoloniusLocationTable) -> String

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl FactCell for Local

fn to_string(&self, _location_table: &PoloniusLocationTable) -> String

impl FactCell for MovePathIndex

fn to_string(&self, _location_table: &PoloniusLocationTable) -> String

impl FactCell for RegionVid

fn to_string(&self, _location_table: &PoloniusLocationTable) -> String

Implementors

impl FactCell for PoloniusRegionVid

impl FactCell for BorrowIndex

impl FactCell for LocationIndex