OrdinaryCheckedCondition.check_result: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend as OrdinaryCheckedCondition
Lines 26-29 of bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend&start_line=26&end_line=29

import Base
import bendvy-ecs-core@0.1.0.4/check.bend as K

def check_result(value:Result<&2,&2,K.Error,Bool>) -> Result<&2,&2,Error,Bool>:
  match value:
    case Done{value}:Done{value}
    case Fail{error}:Fail{CheckError{error}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/check.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_checked_condition.bend&name=Error