History | View | Annotate | Download (74 Bytes)
open Lustre_types
open Utils
let report = Log.report ~plugin:"seal"