Module LustreNodeGen

Translation of type checked AST to intermediate node model

val compile : TypeCheckerContext.tc_context -> GeneratedIdentifiers.t NodeId.Map.t -> LustreDesugarADTs.adt_map -> int HString.HStringMap.t -> LustreAst.declaration list -> LustreNode.t list * LustreGlobals.t