Function gluon_base::types::instantiate

pub fn instantiate<F>(typ: TcType, f: F) -> TcType where F: FnMut(&Generic<Symbol>) -> Option<TcType>