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