Project

General

Profile

Download (66 Bytes) Statistics
| Branch: | Tag: | Revision:
1 a7062da6 Lélio Brun
open Lustre_types
2
3 cc852504 Lélio Brun
val enforce_spec_prog : program_t -> program_t