type Declaration

bendvy-ecs-core@0.1.0.4 · ordinary_check_declaration.bend:36

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

36type Declaration<-S:Data,-C:Type,-R:Type,-E:Data,-Ops:Type -> Type> is Type:
37  Declaration{plan:K.Plan<S,C,R,E,Ops>,uses:List<&2,Use>}