Project

General

Profile

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

lustrec/src/tools/seal/seal_utils.ml @ d75eb6f1

1 
open Lustre_types
2 
open Utils
3
4 
let report = Log.report ~plugin:"seal"
5 

    		
  

  

    
      6
    
    
      

    		
  









  (4-4/5)