def Result.is_done
import Base891def Result.is_done(
892 a, b, -E: Kind(a), -A: Kind(b), r: Result<a, b, E, A>
893) -> Bool:
894 match r:
895 case Fail{e}:
896 False{}
897 case Done{x}:
898 True{}
import Base891def Result.is_done(
892 a, b, -E: Kind(a), -A: Kind(b), r: Result<a, b, E, A>
893) -> Bool:
894 match r:
895 case Fail{e}:
896 False{}
897 case Done{x}:
898 True{}