Type Definition smt2::syntax::display::Result

type Result = Result;