Trait DafnyPrint

pub trait DafnyPrint {
    // Required method
    fn fmt_print(&self, f: &mut Formatter<'_>, in_seq: bool) -> Result;

    // Provided method
    fn is_char() -> bool { ... }
}

Required Methods

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

Provided Methods

fn is_char() -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl DafnyPrint for bool

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

impl DafnyPrint for f32

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

impl DafnyPrint for f64

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

impl DafnyPrint for i8

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

impl DafnyPrint for i16

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

impl DafnyPrint for i32

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

impl DafnyPrint for i64

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

impl DafnyPrint for i128

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

impl DafnyPrint for u8

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

impl DafnyPrint for u16

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

impl DafnyPrint for u32

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

impl DafnyPrint for u64

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

impl DafnyPrint for u128

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

impl DafnyPrint for ()

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

impl DafnyPrint for usize

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

impl DafnyPrint for String

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

impl DafnyPrint for BigInt

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

impl DafnyPrint for BigRational

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

impl<A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A0, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A0: DafnyPrint, A1: DafnyPrint, A2: DafnyPrint, A3: DafnyPrint, A4: DafnyPrint, A5: DafnyPrint, A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A1: DafnyPrint, A2: DafnyPrint, A3: DafnyPrint, A4: DafnyPrint, A5: DafnyPrint, A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A2: DafnyPrint, A3: DafnyPrint, A4: DafnyPrint, A5: DafnyPrint, A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A3: DafnyPrint, A4: DafnyPrint, A5: DafnyPrint, A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A4: DafnyPrint, A5: DafnyPrint, A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A5: DafnyPrint, A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A6: DafnyPrint, A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A7: DafnyPrint, A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A8: DafnyPrint, A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A9: DafnyPrint, A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A10: DafnyPrint, A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A11: DafnyPrint, A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A12: DafnyPrint, A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A13: DafnyPrint, A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A14: DafnyPrint, A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A15: DafnyPrint, A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A16: DafnyPrint, A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A17: DafnyPrint, A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A18: DafnyPrint, A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A19: DafnyPrint, A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A20: DafnyPrint, A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A21: DafnyPrint, A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A22, A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A22, A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A22: DafnyPrint, A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A23, A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A23, A24, A25, A26, A27, A28, A29, A30, A31)

where A23: DafnyPrint, A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A24, A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A24, A25, A26, A27, A28, A29, A30, A31)

where A24: DafnyPrint, A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A25, A26, A27, A28, A29, A30, A31> DafnyPrint for (A25, A26, A27, A28, A29, A30, A31)

where A25: DafnyPrint, A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A26, A27, A28, A29, A30, A31> DafnyPrint for (A26, A27, A28, A29, A30, A31)

where A26: DafnyPrint, A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A27, A28, A29, A30, A31> DafnyPrint for (A27, A28, A29, A30, A31)

where A27: DafnyPrint, A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A28, A29, A30, A31> DafnyPrint for (A28, A29, A30, A31)

where A28: DafnyPrint, A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A29, A30, A31> DafnyPrint for (A29, A30, A31)

where A29: DafnyPrint, A30: DafnyPrint, A31: DafnyPrint,

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

impl<A30, A31> DafnyPrint for (A30, A31)

where A30: DafnyPrint, A31: DafnyPrint,

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

impl<A31> DafnyPrint for (A31,)

where A31: DafnyPrint,

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

impl<T> DafnyPrint for *const T

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

impl<T: DafnyPrint> DafnyPrint for Option<T>

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

impl<T: DafnyPrint> DafnyPrint for Vec<T>

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

impl<T: DafnyPrint> DafnyPrint for HashSet<T>

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

Implementors

impl DafnyPrint for Tuple0

impl DafnyPrint for DafnyChar

impl DafnyPrint for DafnyCharUTF16

impl DafnyPrint for DafnyInt

impl<A> DafnyPrint for FunctionWrapper<A>

impl<A: DafnyPrint> DafnyPrint for LazyFieldWrapper<A>

impl<B, A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A1, &A2, &A3, &A4, &A5, &A6, &A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A2, &A3, &A4, &A5, &A6, &A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A3, &A4, &A5, &A6, &A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A4, &A5, &A6, &A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A5, &A6, &A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A6, &A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A7, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A7, &A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A8, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A8, &A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A9, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A9, &A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A10, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A10, &A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A11, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A11, &A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A12, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A12, &A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A13, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A13, &A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A14, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A14, &A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A15, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A15, &A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A16, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A16, &A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A17, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A17, &A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A18, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A18, &A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A19, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A19, &A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A20, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A20, &A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A21, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A21, &A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A22, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A22, &A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A23, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A23, &A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A24, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A24, &A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A25, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A25, &A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A26, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A26, &A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A27, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A27, &A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A28, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A28, &A29, &A30, &A31, &A32) -> B>

impl<B, A29, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A29, &A30, &A31, &A32) -> B>

impl<B, A30, A31, A32> DafnyPrint for Rc<dyn Fn(&A30, &A31, &A32) -> B>

impl<B, A31, A32> DafnyPrint for Rc<dyn Fn(&A31, &A32) -> B>

impl<B, A32> DafnyPrint for Rc<dyn Fn(&A32) -> B>

impl<K, V> DafnyPrint for Map<K, V>

where K: DafnyTypeEq, V: DafnyType,

impl<T0: DafnyType> DafnyPrint for Tuple1<T0>

impl<T0: DafnyType, T1: DafnyType> DafnyPrint for Tuple2<T0, T1>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType> DafnyPrint for Tuple3<T0, T1, T2>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType> DafnyPrint for Tuple4<T0, T1, T2, T3>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType> DafnyPrint for Tuple5<T0, T1, T2, T3, T4>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType> DafnyPrint for Tuple6<T0, T1, T2, T3, T4, T5>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType> DafnyPrint for Tuple7<T0, T1, T2, T3, T4, T5, T6>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType> DafnyPrint for Tuple8<T0, T1, T2, T3, T4, T5, T6, T7>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType> DafnyPrint for Tuple9<T0, T1, T2, T3, T4, T5, T6, T7, T8>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType> DafnyPrint for Tuple10<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType> DafnyPrint for Tuple11<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType> DafnyPrint for Tuple12<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType> DafnyPrint for Tuple13<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType> DafnyPrint for Tuple14<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType, T14: DafnyType> DafnyPrint for Tuple15<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType, T14: DafnyType, T15: DafnyType> DafnyPrint for Tuple16<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType, T14: DafnyType, T15: DafnyType, T16: DafnyType> DafnyPrint for Tuple17<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType, T14: DafnyType, T15: DafnyType, T16: DafnyType, T17: DafnyType> DafnyPrint for Tuple18<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType, T14: DafnyType, T15: DafnyType, T16: DafnyType, T17: DafnyType, T18: DafnyType> DafnyPrint for Tuple19<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18>

impl<T0: DafnyType, T1: DafnyType, T2: DafnyType, T3: DafnyType, T4: DafnyType, T5: DafnyType, T6: DafnyType, T7: DafnyType, T8: DafnyType, T9: DafnyType, T10: DafnyType, T11: DafnyType, T12: DafnyType, T13: DafnyType, T14: DafnyType, T15: DafnyType, T16: DafnyType, T17: DafnyType, T18: DafnyType, T19: DafnyType> DafnyPrint for Tuple20<T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19>

impl<T: DafnyPrint> DafnyPrint for RefCell<T>

impl<T: DafnyType> DafnyPrint for Object<[T]>

impl<T: ?Sized + DafnyPrint> DafnyPrint for &Rc<T>

impl<T: ?Sized + DafnyPrint> DafnyPrint for Rc<T>

impl<T: ?Sized + UpcastObject<DynAny>> DafnyPrint for Object<T>

impl<T: ?Sized> DafnyPrint for Ptr<T>

impl<V: DafnyType> DafnyPrint for Sequence<V>

impl<V: DafnyTypeEq> DafnyPrint for Multiset<V>

impl<V: DafnyTypeEq> DafnyPrint for Set<V>