Trait FactCell

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

Required Methods

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

Implementations on Foreign Types

impl FactCell for Local

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

impl FactCell for MovePathIndex

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

impl FactCell for RegionVid

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

Implementors

impl FactCell for BorrowIndex

impl FactCell for LocationIndex

impl FactCell for PoloniusRegionVid