sig
  val of_file : string -> LustreNode.t SubSystem.t * LustreGlobals.t
  val ast_of_file : string -> LustreAst.declaration list
end