Module LustreGlobals
Global declarations for Lustre input
- author
- Christoph Sticksel
type t={free_constants : (LustreIdent.t * Var.t LustreIndex.t) list;state_var_bounds : LustreExpr.expr LustreExpr.bound_or_fixed list StateVar.StateVarHashtbl.t;}