Trait PrettyPrint 

pub trait PrettyPrint {
    // Provided method
    fn pretty<'a>(&'a self, arena: &'a Arena) -> Pretty<'a, Self>
       where Self: Sized { ... }
}

Provided Methods

fn pretty<'a>(&'a self, arena: &'a Arena) -> Pretty<'a, Self>

where Self: Sized,

Implementors

impl PrettyPrint for FunctionIndex

impl PrettyPrint for PredicateIndex

impl PrettyPrint for VariableIndex

impl<'a> PrettyPrint for BaseTerm<'a>

impl<'a> PrettyPrint for Const<'a>

impl<'a> PrettyPrint for Term<'a>

impl<'a> PrettyPrint for Atom<'a>

impl<'a> PrettyPrint for BoundDecl<'a>

impl<'a> PrettyPrint for Clause<'a>

impl<'a> PrettyPrint for Constraints<'a>

impl<'a> PrettyPrint for Decl<'a>

impl<'a> PrettyPrint for TransformStmt<'a>

impl<'a> PrettyPrint for Unit<'a>