def description
bendvy-ecs-core@0.1.0.4 · ordinary_recovery_declaration.bend:40
import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as OrdinaryRecoveryDeclaration
import Base
import bendvy-ecs-core@0.1.0.4/recovery_use.bend as Use
40
41
42
43
44def description(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops),value:Declaration<S,State,Recovery,Ops,builder>) -> Use.Description:
45 match value:
46 case Declaration{_,_}:Use.none()
47 case Described{_,_,description}:description