Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/checks/access.mli | ||
---|---|---|
1 |
val check_prog: Lustre_types.program_t -> unit |
Also available in: Unified diff
src/checks/access.mli | ||
---|---|---|
1 |
val check_prog: Lustre_types.program_t -> unit |
Also available in: Unified diff
another step towards refactoring