gluon_completion
pub fn find<T>( env: &T, expr: &SpannedExpr<Symbol>, pos: BytePos) -> Result<ArcType, ()> where T: TypeEnv,