Project

General

Profile

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

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

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