Module LustreDeclarations

module LustreDeclarations: sig .. end
Convert a Lustre abstract syntax tree to an intermediate Lustre model
Author(s): Christoph Sticksel

val declarations_to_nodes : LustreAst.t -> LustreNode.t list * LustreGlobals.t