sig
  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
end