def Result.is_fail
import Base900def Result.is_fail(
901 a, b, -E: Kind(a), -A: Kind(b), r: Result<a, b, E, A>
902) -> Bool:
903 Bool.not(Result.is_done(a, b, E, A, r))
import Base900def Result.is_fail(
901 a, b, -E: Kind(a), -A: Kind(b), r: Result<a, b, E, A>
902) -> Bool:
903 Bool.not(Result.is_done(a, b, E, A, r))