Type Definition formality::term::Context

source · 
pub type Context<'a> = Vec<Term>;