search

epfl-lara / rust-stainless

An experimental Rust frontend for Stainless
Apache License 2.0
6 stars 2 forks source link

Extract type aliases #141

Open yannbolliger opened 3 years ago

yannbolliger commented 3 years ago

For example: 

type Error = Box<ErrorKind>