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