Module LustreSimplify

module LustreSimplify: sig .. end
Simplify a Lustre AST to normalized Lustre nodes
Author(s): Christoph Sticksel

val eval_ast_expr : LustreExpr.expr LustreExpr.bound_or_fixed list ->
LustreContext.t ->
LustreAst.expr -> LustreExpr.t LustreIndex.t * LustreContext.t
val eval_ast_type : LustreContext.t -> LustreAst.lustre_type -> Type.t LustreIndex.t
val eval_bool_ast_expr : LustreExpr.expr LustreExpr.bound_or_fixed list ->
LustreContext.t ->
Lib.position -> LustreAst.expr -> LustreExpr.t * LustreContext.t