Lower_expr (stanc.Stan_math_backend.Lower

val stan_namespace_qualify : string -> string

val fn_renames : string Std.String.Map.t

val constraint_to_string : 'a Middle.Transformation.t -> string option

val functor_suffix : string

val reduce_sum_functor_suffix : string

val variadic_functor_suffix : int -> string

type variadic =

| FixedArgs
| ReduceSum
| VariadicHOF of int

val functor_type : string -> variadic

val functor_suffix_select : variadic -> string

val is_scalar : Middle.Expr.Typed.t -> bool

val is_matrix : Middle.Expr.Typed.t -> bool

Used to determine if operator/ should be mdivide_right() or divide()

val is_row_vector : Middle.Expr.Typed.t -> bool

val first : 'a list -> 'a

val second : 'a list -> 'a

val default_multiplier : int

val default_offset : int

val transform_args : 
  Middle__Expr.Typed.Meta.t Middle__Expr.t Middle.Transformation.t ->
  Middle__Expr.Typed.Meta.t Middle__Expr.t list

val is_single_index : 'a Middle.Index.t -> bool

val dont_need_range_check : 'a Middle.Expr.t Middle.Index.t -> bool

val promote_adtype : 
  Middle.Expr.Typed.t list ->
  Middle.UnsizedType.autodifftype

val suffix_args : bool -> Middle.Fun_kind.suffix -> string list

val stantype_prim : Middle.UnsizedType.t -> Cpp.type_

val templates : bool -> Middle.Fun_kind.suffix -> Cpp.type_ list

val deserializer : Cpp.expr

val local_scalar : 
  Middle.UnsizedType.t ->
  Middle.UnsizedType.autodifftype ->
  Cpp.type_

val minus_one : Stan_math_backend__Cpp.expr -> Cpp.expr

val plus_one : Stan_math_backend__Cpp.expr -> Cpp.expr

val lower_type : 
  ?mem_pattern:??? ->
  Middle.UnsizedType.t ->
  Cpp.type_ ->
  Cpp.type_

val lower_unsizedtype_local : 
  ?mem_pattern:??? ->
  Middle.UnsizedType.autodifftype ->
  Middle.UnsizedType.t ->
  Cpp.type_

val lower_possibly_var_decl : 
  Middle.UnsizedType.autodifftype ->
  Middle.UnsizedType.t ->
  Middle.Mem_pattern.t ->
  Cpp.type_

val lower_logical_op : 
  Cpp.operator ->
  Middle.Expr.Typed.t ->
  Middle.Expr.Typed.t ->
  Cpp.expr

val lower_fun_call : string -> Middle.Expr.Typed.t list -> Cpp.expr

val vector_literal : 
  ?column:??? ->
  Cpp.type_ ->
  Middle.Expr.Typed.t list ->
  Cpp.expr

val lower_binary_op : 
  Cpp.operator ->
  string ->
  Middle.Expr.Typed.t list ->
  Cpp.expr

val lower_operator : Middle.Operator.t -> Cpp.operator option

val lower_operator_app : 
  Middle.Operator.t ->
  Middle.Expr.Typed.t list ->
  Cpp.expr

val lower_functionals : 
  string ->
  Middle.Fun_kind.suffix ->
  Middle.Expr.Typed.t list ->
  (Middle.Expr.Typed.Meta.t Middle.Expr.t list ->
    Stan_math_backend__Cpp.expr)
    option

val lower_fun_app : 
  Middle.Fun_kind.suffix ->
  Std.String.Map.key ->
  Middle.Expr.Typed.t list ->
  Cpp.expr

val lower_user_defined_fun : 
  string ->
  Middle.Fun_kind.suffix ->
  Middle.Expr.Typed.t list ->
  Cpp.expr

val lower_compiler_internal : 
  Middle.UnsizedType.autodifftype ->
  Middle.UnsizedType.t ->
  Middle.Expr.Typed.t Middle.Internal_fun.t ->
  Middle.Expr.Typed.t list ->
  Cpp.expr

val lower_index : Middle.Expr.Typed.t Middle.Index.t -> Cpp.expr

val lower_indexed : 
  Middle.Expr.Typed.t ->
  Middle.Expr.Typed.t Middle.Index.t list ->
  string ->
  Cpp.expr

val lower_indexed_simple : 
  Cpp.expr ->
  Middle.Expr.Typed.t Middle.Index.t list ->
  Cpp.expr

val lower_expr : Middle.Expr.Typed.t -> Cpp.expr

val lower_exprs : Middle.Expr.Typed.t list -> Cpp.expr list

module Testing : sig ... end