Partial_evaluator (stanc.Analysis_and_optimization.Partial

exception Rejected of Middle.Location_span.t * string

val is_int : int -> 'a Middle.Expr.t -> bool

val apply_prefix_operator_int : 
  string ->
  Core.Int.t ->
  'a Middle.Expr.Pattern.t

val apply_prefix_operator_real : 
  string ->
  Core.Float.t ->
  'a Middle.Expr.Pattern.t

val apply_operator_int : 
  string ->
  Core__.Int.t ->
  Core__.Int.t ->
  'a Middle.Expr.Pattern.t

val apply_arithmetic_operator_real : 
  string ->
  float ->
  float ->
  'a Middle.Expr.Pattern.t

val apply_logical_operator_real : 
  string ->
  'a ->
  'a ->
  'b Middle.Expr.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 simplify_index_expr : 
  Middle.Expr.Typed.Meta.t Middle.Expr.t Middle.Expr.Pattern.t ->
  Middle.Expr.Typed.Meta.t Middle.Expr.t Middle.Expr.Pattern.t

val remove_trailing_alls_expr : 
  'a Middle.Expr.Pattern.t ->
  'a Middle.Expr.Pattern.t

val simplify_indices_expr : 
  Middle.Expr.Typed.Meta.t Middle.Expr.t ->
  Middle.Expr.Typed.Meta.t Middle.Expr.t

val try_eval_expr : Middle.Expr.Typed.t -> Middle.Expr.Typed.t

val eval_stmt : 
  (Middle.Expr.Typed.Meta.t, Middle.Location_span.t) Middle.Stmt.t ->
  (Middle.Expr.Typed.Meta.t, Middle.Location_span.t) Middle.Stmt.t

val eval_prog : 
  (Middle.Expr.Typed.t,
    (Middle.Expr.Typed.Meta.t, Middle.Location_span.t) Middle.Stmt.t,
    Middle.Location_span.t)
    Middle.Program.t ->
  Middle.Program.Typed.t