Trait smt2::syntax::display::Display

pub trait Display {
    fn fmt(&self, f: &mut Formatter<'_, '_>) -> Result;
}

Required methods

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

Loading content...

Implementors

impl Display for Term

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

impl Display for Binding

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

impl Display for Ident

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

impl Display for MatchCase

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

impl Display for Pattern

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

impl Display for Sort

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

impl Display for SortedVar

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

impl Display for Symbol

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

impl Display for Declaration

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

impl Display for Definition

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

impl Display for Model

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

impl<T: Display> Display for Located<T>

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

Loading content...