polarity/std/data/result.pol

/// The type for handling and propagating errors which contains the variants `Ok` and `Err`.
data Result(a b: Type) {
    /// A successful result.
    Ok(a b: Type, res: a): Result(a, b),
    /// An error containing an error value.
    Err(a b: Type, err: b): Result(a, b),
}