Type Alias Function 

pub type Function = for<'x> fn(&Context<'x>, &[Variable<'x>]) -> Variable<'x>;