Project

General

Profile

Download (65 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/src/spec.mli @ a7062da6

1 
open Lustre_types
2 

    		
  

  

    
      3
    
    
      
val enforce_spec_prog: program_t -> program_t


    		
  









  (91-91/111)