def succeeded

bendvy-ecs-core@0.1.0.4 · ordinary_machine_initialization_marker.bend:159

import bendvy-ecs-core@0.1.0.4/ordinary_machine_initialization_marker.bend as OrdinaryMachineInitializationMarker
import Base

159def succeeded(error:Maybe<&2,String>) -> Bool:
160  match error:
161    case None{}:True{}
162    case Some{_}:False{}

Uses (3)

Used by (0)

No other definition uses this definition.