Project

General

Profile

Revision 8446bf03 src/plugins.ml

View differences:

src/plugins.ml
1
open LustreSpec
1
open Lustre_types
2 2

  
3 3
open PluginList
4 4

  

Also available in: Unified diff