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
val simplify_indices_expr :
Middle.Expr.Typed.Meta.t Middle.Expr.Fixed.t ->
Middle.Expr.Typed.Meta.t Middle.Expr.Fixed.t
val try_eval_expr : Middle.Expr.Typed.t -> Middle.Expr.Typed.t