Type Alias BigRational

pub type BigRational = Ratio<BigInt>;

Alias for arbitrary precision rationals.

Aliased Type

struct BigRational { /* private fields */ }

Trait Implementations

impl DafnyPrint for BigRational

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

fn is_char() -> bool