type Result
import Base36type Result<a, b, -E: Kind(a), -A: Kind(b)> is Kind(a <&> b):
37 Fail{error: E}
38 Done{value: A}
Uses (0)
This definition uses no other definition.
import Base36type Result<a, b, -E: Kind(a), -A: Kind(b)> is Kind(a <&> b):
37 Fail{error: E}
38 Done{value: A}
This definition uses no other definition.