Struct Cat 

pub struct Cat<T> {
    pub tag: String,
    pub defs: Vec<Def<T>>,
}

A Cat is a full cat memory-model definition, with all its includes resolved.

Fields

tag: String

defs: Vec<Def<T>>

Implementations

impl<T> Cat<T>

pub fn unshadow(&mut self, shadows: &mut Shadows)

Remove all variable shadowing

pub fn shows(&self) -> Vec<String>

impl Cat<Ty>

pub fn relations<'a>(&'a self) -> Vec<&'a str>

Returns the names of all the relations defined by a cat file

Trait Implementations

impl<T: Debug> Debug for Cat<T>

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

Formats the value using the given formatter.