Type Alias AgdaResult 

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

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

Aliased Type

pub enum AgdaResult<T> {
    Ok(T),
    Err(String),
}

Variants

Ok(T)

Contains the success value

Err(String)

Contains the error value