Module `LustreDeclarations`

Convert a Lustre abstract syntax tree to an intermediate Lustre model

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