Type Alias InterpretedConst 

pub type InterpretedConst = (ConstDecl, Expr);

A type for rust constants that have a concrete interpretation

Trait Implementations

impl LeanFmt for InterpretedConst

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