def compilation_supported

bendvy-ecs-core@0.1.0.3 · execution_declaration.bend:74

import bendvy-ecs-core@0.1.0.3/execution_declaration.bend as ExecutionDeclaration
import Base

74def compilation_supported(~S:Data,~WC:Type,~C:Type,~R:Type,~Ops:Data -> (Type -> Type) -> Type -> Type,value:Compilation<S,WC,C,R,Ops>) -> Bool:
75  match value:
76    case Supported{_,_}:True{}
77    case Unsupported{_,_,_}:False{}

Uses (2)

Used by (0)

No other definition uses this definition.