Module Analysis_and_optimization.Partial_evaluator

exception Rejected of Middle.Location_span.t * string
val is_int : int -> 'a Middle.Expr.Fixed.t -> bool
val apply_prefix_operator_int : string -> Core.Int.t -> 'a Middle.Expr.Fixed.Pattern.t
val apply_prefix_operator_real : string -> Core.Float.t -> 'a Middle.Expr.Fixed.Pattern.t
val apply_operator_int : string -> Core__.Int.t -> Core__.Int.t -> 'a Middle.Expr.Fixed.Pattern.t
val apply_arithmetic_operator_real : string -> float -> float -> 'a Middle.Expr.Fixed.Pattern.t
val apply_logical_operator_real : string -> 'a -> 'a -> 'b Middle.Expr.Fixed.Pattern.t
val is_multi_index : 'a Middle.Index.t -> bool
val eval_expr : ?preserve_stability:bool -> Middle.Expr.Typed.t -> Middle.Expr.Typed.t
val remove_trailing_alls_expr : 'a Middle.Expr.Fixed.Pattern.t -> 'a Middle.Expr.Fixed.Pattern.t