[−][src]Type Definition agda_mode::agda::AgdaResult

type AgdaResult<T> = Result<T, String>;

An Agda response that is either something good or some error.