update FORM-L library #31

Open

Assignees

Labels

librariestest-cases

opened

on Mar 26, 2026

update definition of 'check count' operators when traffic-light example will be supported by the compiler.

Metadata

Assignees

audrey-jardin

Labels

librariestest-cases

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests